Event
SpringSim'14
The Spring Simulation Multi-Conference 2014 (SpringSim'14) brings leading experts in various domains of Modeling and Simulation together. The Theory of Modeling and Simulation (TMS/DEVS 2014) will be a sub-conference of SpringSim. The SpringSim'14 Organization Committee is:
Submitted by Anonymous on December 19th, 2013
Event
ABZ 2014
4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z  The ABZ 2014 conference is organized in Toulouse
Submitted by Anonymous on December 19th, 2013
Event
ECYPS 2014
2nd EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS 2014)   FOCUS: Embedded systems, being inseparable parts of certain larger (embedding) systems, constitute information-processing parts of cyber-physical systems composed of information-processing and physical sub-systems.
Submitted by Anonymous on December 19th, 2013
Event
QRMSE 2014
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
Submitted by Anonymous on December 19th, 2013
Event
FPL2014
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.
Submitted by Anonymous on December 19th, 2013
Event
CyPhy'14
CyPhy'14 brings together researchers and practitioners working on modeling, simulation, and evaluation of CPS, based on a broad interpretation of these areas, to collect and exchange expertise from a diverse set of disciplines.
Submitted by Anonymous on December 19th, 2013
Event
ECMFA 2014
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.
Submitted by Anonymous on November 27th, 2013
Event
CAV 2014
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.
Submitted by Anonymous on November 26th, 2013
FESCA @ ETAPS 2014 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on April 12th, 2014, Grenoble, France WORKSHOP AIM
Submitted by Anonymous on November 26th, 2013
Event
MECO 2014
   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.
Submitted by Anonymous on November 12th, 2013
Subscribe to Announcement