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/

The 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016) What’s new with FSE 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 technologies in cities around the globe.  This premier event, hosted by the Smart Cities Council, will showcase leading-edge companies and cutting-edge solutions in fresh and exciting ways. Contact us today to learn about Diamond, Gold and Platinum sponsorship opportunities.

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 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