The Symposium on Dependable Software Engineering: Theories, Tools and Applications will be held November 4-6, 2015 at Nanjing University.

Second International Workshop on the Swarm at the Edge of the Cloud (SWEC) will be held at CPSWEEK, April 13, 2015 Organizers General Chair: Alberto Sangiovanni-Vincentelli, UC Berkeley Program Co-Chairs: Roozbeh Jafari, UT Dallas, Anthony Rowe, CMU Logistics Co-Chairs: Miroslav Pajic, U. Pennsylvania, Armin Wasicek, UC Berkeley Description

4th Mediterranean Conference on Embedded Computing will be held June 14-18, 2015 in Budva, Montenegro

The 20th International Workshop on Formal Methods for Industrial Critical Systems will be held in co-location with FM 2015: 20th International Symposium on Formal Methods 22-23 June 2015 in Oslo, Norway

The 9th Theoretical Aspects of Software Engineering Conference (TASE 2015) will be held in Nanjing, China in September, 2015.

Thirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems 
at ETAPS 2015

The 5th International Workshop on Product LinE Approaches in Software Engineering will be held in conjunction with the 37th International Conference on Software Engineering (ICSE 2015) on May 19, 2015

Abstract: One of the most important challenges in the design and deployment of Cyber-Physical Systems is how to formally guarantee that they are amenable to effective human control. This is a challenging problem not only because of the operational changes and increasing complexity of future CPS but also because of the nonlinear nature of the human-CPS system under realistic assumptions.