16th International Conference on Runtime Verification (RV 2016) Scope Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness,…

CALL FOR PAPERS - Submission deadline May 20, 2016 Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE 2016)  in conjunction with ETFA 2016 Berlin, Germany |  23-27,September 06-09, 2016…

The 3rd International Competition on Runtime Verification (CRV 2016) held with RV 2016 In Association with COST Action “Runtime Verification beyond Monitoring” September 23-30 2016 | Madrid, Spain | https://rv2016.imag.fr/?page_id=188 CRV 2016…

Welcome to the European Symposium on Research in Computer Security (ESORICS) 2016 Web Site. This is the 21st symposium in the ESORICS series. This year the Symposium will be held in Heraklion, Greece on September 28-30, 2016.…

Smart Cities Week Smart Cities Week® is the first major smart cities event in North America to bring together public and private sector visionaries, including officials from all levels of government and leading companies actively deploying smart…

The UnCoVerCPS consortium met for two days at Verimag, Grenoble, France to discuss research progress, future collaborations, and exploitation opportunities.

2nd International Workshop on Executable Modeling (EXE 2016) co-located with MODELS 2016 We are pleased to invite you to submit papers to the Second International Workshop on Executable Modeling (EXE 2016), held in conjunction with the ACM/IEEE 19th…

CM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems MODELS is the premier conference series for model-based software and systems engineering which since 1998 has been covering all aspects of modeling, from languages…

 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT) The ACM SIGBED International Conference on Embedded Software (EMSOFT) brings together researchers and developers from academia, industry, and government to advance the science, engineering,…

International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2016) The International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) is the premier event in system-level design, modeling, analysis,…

Compilers, Architecture and Synthesis of Embedded Systems Conference (CASES 2016) Part of Embedded Systems Week (ESWeek  is the premier event covering all aspects of embedded systems and software.) About CASES: CASES is the premier forum…

EWiLi'16, the 6th Embedded Operating System Workshop held in conjunction with ESWEEK 2-7 October 2016 | PITTSBURGH, PA, USA | http://syst.univ-brest.fr/ewili2016 Aim and Scopes EWiLi, the embedded operating system workshop, aims at presenting…

The 14th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia 2016)  6th – 7th Oct 2016 |  Pittsburgh, USA | http://www.estimedia.org/ The IEEE ESTIMedia’16 is organized as a part of the Embedded Systems Week 2016…

Call for Papers Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2016) Held in conjunction with ESWEEK 2016 October 6 2016 | Pittsburgh, PA, USA | http://www.cyphy.org/ Cyber physical systems (CPSs) combine…

ACM SIGAda’s High Integrity Language Technology International Workshop on Model-Based Development and Contract-Based Programming as part of Embedded Systems Week (ESWEEK) High integrity software must not only meet correctness and performance…

Workshop on Approximate Computing (AC16) AC16 is part of ESWEEK 2016 Focus Approximate Computing exploits the inherent error resilience of many applications to optimize power consumption, run time, and/or chip area. In particular in audio, image and…