8th ACM/SPEC International Conference on Performance Engineering (ICPE 2017)  Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG

CALL FOR PAPERS - Submissions in July Workshop on Dependability in Evolving Systems (WDES 2016) Cali, Colombia | 19-21 October 2016 http://rcl.dsi.unifi.it/wdes2016/ http://www.unicauca.edu.co/ladc2016/node/55 Co-located with LADC 2016: Latin-American Symposium on Dependable Computing   Topics and Objective

10th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2016) in conjunction with the 24th International Conference on Real-Time and Network Systems (RTNS 2016) Brest, France | October 19-21, 2016 | http://rtns16.univ-brest.fr/

PUBLIC RELEASE: 22-JUN-2016

Workshop explores how artificial intelligence can be engineered for safety and control

Carnegie Mellon and White House Office of Science and Technology Policy will co-host

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/

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 and methods to tools and applications. In 2016, MODELS will take place in Saint Malo, which is one of the most cosmopolitan and open cities in Europe, widely known for its superb weather, food and hospitality.

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 International Conference on Model Driven Engineering Languages and Systems (MODELS) at Saint-Malo, France, in October, 2016.

27th IEEE International Symposium on Rapid System Prototyping (RSP 2016) as part of ESWeek

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