2nd Workshop on Virtual Prototyping of Parallel and Embedded Systems

Background

The 2nd Workshop on Virtual Prototyping of Parallel and Embedded Systems (ViPES 2014) will be held in Phoenix, USA in May 2014.

Third International Workshop on Bidirectional Transformations (BX 2014)                         

co-located with EDBT/ICDT 2014

ICTSS 2013 (http://ictss.sabanciuniv.edu) will be held in Istanbul on Nov 13-15, 2013.

The 10th IEEE International Conference on Embedded Software and Systems (ICESS) 2013

Embedded software and systems are closely related to our daily life, which reside from smart appliances to unmanned trains. As the fastest growing industry, embedded systems will have great societal and environmental impacts. Therefore, the design and implementation of safe and efficient embedded software and systems have utmost importance.

6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2013) 

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science.

ETAPS, established in 1998, is a confederation of six main annual conferences (CC, ESOP, FASE, FoSSaCS, POST and TACAS) accompanied by satellite workshops and other events.

The seventeenth edition, ETAPS 2014, will take place in Grenoble, France.

This is the first time that ETAPS returns to a city where it has already been. ETAPS 2002 was also held here.

1st International Workshop on Synthesis of Continuous Parameters

April 6th 2014, Grenoble, France

Aim

SynCoP aims at bringing together researchers working on parameter synthesis for systems with continuous variables, where the parameters consist of a (usually dense) set of constant values. Such problems arise for real-time, hybrid or probabilistic systems where the goal is to identify suitable parameters to achieve desired behavior, or to verify the behavior for a given range of parameter values.

6th Workshop on:
Rapid Simulation and Performance Evaluation:
 Methods and Tools


Jan 2014, Vienna, Austria

9th International Conference on High-Performance and Embedded Architectures and Compilers

The HiPEAC conference aims to become the premier forum for experts in computer architecture, programming models, compilers and operating systems for embedded and general-purpose systems.  Emphasis is given on either cross-cutting research (embedded/high performance, architecture/software stack, etc.) or innovative ideas (new programming models, novel architecture approaches to cope with technology constraints or new technologies, et