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

The 14th Overture Workshop 7 November 2016 | Cyprus, Greece | http://overturetool.org/workshops/14th-Overture-Workshop.html co-located with The Formal Methods Europe Symposium 2016  INTRODUCTION

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

 24th International Conference on Real-Time Networks and Systems (RTNS) CONFERENCE RTNS is a friendly conference with a great sense of community that presents excellent opportunities for collaboration. Original unpublished papers on all aspects of real-time systems and networks are welcome. The proceedings are published by the ACM ICPS (approval pending). RTNS covers a wide-spectrum of topics in real-time and embedded systems, including, but not limited to:

The 16th Workshop on Domain-Specific Modeling Colocated with SPLASH Domain-Specific Modeling (DSM) provides a modern solution to demands for higher productivity by constricting the gap between problem and solution modeling. In the past, productivity gains have been sought from new programming languages. Domain-specific languages and modeling provide a viable solution for continuing to raise the level of abstraction beyond coding, making development faster and easier for all participants.

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 | http://www.socne.org Selected Topics

The Fifth IEEE International Workshop on Cloud Computing Systems, Networks, and Applications (CCSNA) organized in conjunction with IEEE Global Communications Conference (GLOBECOM 2016)

8th CyberC - International Conference on Cyber-enabled distributed computing and knowledge discovery technically sponsored by IEEE, IEEE Computer Society, IEEE Big Data, IEEE SDN, IEEE CS Computer Society on Simulation, and IEEE ComSoc Technical SubCommittee on Big Data

19th ACM*/IEEE*  19th Annual International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2016) *Pending Upon Approval

The Third  International Workshop on the Future of the Internet of Things (FIT 2016) in conjunction with The 11th International Conference on Future Networks and Communications August 15-18, 2016 | Montreal, Quebec, Canada | https://sites.google.com/site/3rdfitworkshop