Theoretical aspects of cyber-physical systems.
Event
ICINCO 2015
ICINCO 2015 will be held in conjunction with ICETE 2015, ICSOFT 2015, SIMULTECH 2015 and DATA 2015.
Registration to ICINCO allows free access to the ICETE, ICSOFT, SIMULTECH and DATA conferences (as a non-speaker).
Event
ETFA 2015
The 20th IEEE International Conference on Emerging Technologies and Factory Automation will be held September 8-11, 2015 in Luxembourg
The aim of this conference is to bring together researchers and practitioners from the industry and academia and provide them with a platform to report on recent advances and developments in the newly emerging areas of technology, as well as actual and potential applications to industrial and factory automation.
Event
FormaliSE 2015
3rd FME Workshop on Formal Methods in Software Engineering will be held on 18 May 2015 in conjunction with ICSE 2015 (May 16th-May 24th)
Event
SETTA 2015
The Symposium on Dependable Software Engineering: Theories, Tools and Applications will be held November 4-6, 2015 at Nanjing University.
Event
SummerSim '15
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.
Event
SWEC 15
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
Event
MECO’2015
4th Mediterranean Conference on Embedded Computing will be held June 14-18, 2015 in Budva, Montenegro
Event
SACPS'15
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).
Event
FMICS 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
Event
MBT 2015
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.