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

2015 Summer Simulation Multi-Conference is SCS's premier international conference in cooperation with ACM SIGSIM. The conference focuses on modeling and simulation, tools, theory, methodologies and applications and provides a forum for the latest R&D results in academia and industry. This year's focus is on complexity, hybrid, discrete and continuous systems, and the role of M&S in addressing complexity.  

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 First International Workshop on Security Aspects of Cyber-Physical Systems will be held in London, United Kingdom, June 2-5, 2015 SACPS'15 is the The First International Workshop on Security Aspects of Cyber-Physical Systems. SACPS'15 provides an international forum on the latest technologies and research in security of Cyber-Physical systems (CPS). The workshop will be held in conjunction with The 6th International Conference on Ambient Systems, Networks and Technologies (ANT 2015) that will be organized in London, United Kingdom (2-5 June 2015).

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

10th Workshop on Model-Based Testing  will be held April 18, 2015, London, UK Satellite workshop of ETAPS 2015 MBT workshop 2015 celebrates its 10th anniversary. We invite you to join academicians and MBT practitioners to share the vision of the challenges that MBT faces, new directions in model-based verification and testing, and the ways to integrate MBT and advanced verification techniques in engineering and industrial practice.

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

37th International Conference on Software Engineering Two decades after ICSE 1994 in Sorrento, we are proud to organize the 37th edition of the premier International Conference on Software Engineering® in the very heart of Florence/Firenze, the capital city of Tuscany region and one of the most beautiful cities in the world.  

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