Special Track on Qualitative Research and Methodologies in Science and Engineering Co-located with IMCIC 2014   Qualitative research and methodologies have been effectively used, for a long time in Social Sciences and they are increasingly being used in technological innovation, information systems devel

24th International Conference on Field Programmable Logic and Applications The International Conference on Field Programmable Logic and Applications (FPL) is the first and largest conference covering the rapidly growing area of field-programmable logic.

Model-Based Engineering (MBE) is an approach to the design, analysis and development of software and systems that relies on exploiting high-level models and computer-based automation to achieve significant boosts in both productivity and quality.

26th International Conference on Computer Aided Verification (CAV’14) Part of Vienna Summer of Logic (VSL'14) 18-22 July 2014, Vienna, Austria CAV 2014 is the 26th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.

CSER is the leading conference and platform for systems engineering that both pushes the boundaries of current research and identifies and responds to new challenges, fostering new research ideas.

   MECO-2014 Conference VENUE: Hotel Slovenska Plaza, Budva, Montenegro. DATES: 15-19, June 2014 ABOUT THE EVENT The 3rd Mediterranean Conference on Embedded Computing (MECO 2014) is a continuation of very successful MECO events (MECO 2012, MECO 2013). It is an International Scientific Forum aimed to present and discuss the leading achievements in the modeling, analysis, design, validation and application of embedded computing systems.

Design Methods for Automotive Systems and Software The automotive track has been created this year to bring together researchers and practitioners from the automotive domain with their counterparts from the embedded systems & software (ESS) domains.  This also includes those from the electronic design automation (EDA) space.

7th International Conference on Graph Transformation Dynamic structures are a major cause for complexity when it comes to model and reason about systems.

"Big Data meets Computational Science" The International Conference on Computational Science is an annual conference that brings together researchers and scientists from mathematics and computer science as basic computing disciplines, researchers from various application areas who are pioneering computational methods in sciences such as physics, chemistry, life sciences, and

The 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014) will be held in Chongqing, China.