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

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.

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

6th International Conference on Ambient Systems, Networks and Technologies in conjunction with the 5th International Conference on Sustainable Energy Information Technology (SEIT-2015).

27th International Conference on Computer Aided Verification

Graphs as Models is a satellite workshop of ETAPS 2015 - held at Queen Mary University of London in the Mile End campus. Graphs are used as models in all areas of computer science: examples are state space graphs, control flow graphs, syntax graphs, UML-type models of all kinds, network layouts, social networks, dependency graphs, and so forth. Used to model a particular phenomenon or process, graphs are then typically analyzed to find out properties of the modelled subject, or transformed to construct other types of models.

The 8th International Conference on Graph Transformation (ICGT 2015) will be held in L'Aquila (Italy) in July 2015. It continues the series of conferences previously held in Barcelona (Spain) in 2002, Rome (Italy) in 2004 (ICGT 2004), Natal (Brazil) in 2006 (ICGT 2006), Leicester (UK) in 2008 (ICGT 2008), Enschede (The Netherlands) in 2010 (ICGT 2010), Bremen (Germany) in 2012 (ICGT 2012) and York (UK) in 2014 (ICGT 2014), as well as a series of six International Workshops on Graph Transformation with Applications in Computer Science between 1978 to 1998.

The 8th  International Workshop on Numerical Software Verification will be held April 13, 2015 in conjunction with Cyber-Physical Week 2015 Seattle, WA, USA Web Page: http://nsv2015.informatik.uni-freiburg.de/ Scope

Big Data Analytics for Human-Centric Systems