CASES is a forum where researchers, developers and practitioners exchange information on emerging technologies and the latest advances in compilers and architectures for high performance embedded systems design and synthesis. CASES uniquely aims to promote synergies across otherwise vertically integrated communities in embedded systems.

1st Formal Methods for Timing Verification Workshop In conjunction with the 19th International Symposium on Formal Methods (FM 2014)

10th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2014) June 08--09, 2014 -- Reno, Nevada, USA

COMPSAC 2014 Theme

12th IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS - INDIN 2014              &nb

Embedded Systems Week (ESWEEK) is the premier event covering all aspects of embedded systems and software. By bringing together three leading conferences (CASES, CODES+ISSS, and EMSOFT), two symposia (ESTIMedia and RSP) and several workshops and tutorials, ESWeek allows attendees to benefit from a wide range of topics covering the state of the art in embedded systems research and development.

MODELS 2014 ACM/IEEE 17th International Conference on Model-Driven Engineering Language & Systems

Welcome to EUC 2014! Embedded and ubiquitous computing is an exciting paradigm that promises to provide computing and communication services to the end users all the time and everywhere. Its systems are now invading in every aspect of our daily life and promise to revolutionize our life much more profoundly than elevators, electric motors or even personal computer evolution ever did.

SORT 2014 5th IEEE Workshop on Self-Organizing Real-Time Systems Reno, Nevada, USA, June 9th, 2014 (http://www.es.cs.uni-frankfurt.de/?id=sort2014)

14th International Conference on Application of Concurrency to System Design (ACSD 2014)