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)

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.

Cyber-physical systems (CPS) are smart compound systems engineered through seamless integration of embedded information processing sub-systems and physical sub-systems. The vision of smart systems connected and collaborating through various interfaces and communication media to form the global Internet of Things (IoT) is not a science-fiction anymore, but is quickly becoming an actual reality. The future smarter and more fit to use CPS will have important applications in virtually all economic and social segments, and their economic and societal impact will be enormous.

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

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.