BX 2014
Third International Workshop on Bidirectional Transformations (BX 2014)
co-located with EDBT/ICDT 2014
IPSN 2014
The International Conference on Information Processing in Sensor Networks (IPSN) is a leading, single-track, annual forum on research in networked sensing and control, broadly defined. IPSN brings together researchers from academia, industry, and government to present and discuss recent advances in both theoretical and experimental research.
ICTSS 2013 : Call for Participation
ICTSS 2013 (http://ictss.sabanciuniv.edu) will be held in Istanbul on Nov 13-15, 2013.
ICESS'13
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.
CRTS 2013
6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2013)
ETAPS 2014
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.
SynCoP 2014
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.
RAPIDO'14 Workshop
6th Workshop on: Rapid Simulation and Performance Evaluation: Methods and Tools
Jan 2014, Vienna, Austria
HiPEAC 2014
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
HiRES 2014
2nd Workshop on
High-performance and Real-time Embedded Systems
(HiRES 2014)
January 20, 2014, Vienna, Austria
To be held in conjunction with the
9th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2014)
http://www.hipeac.net/hipeac2014