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

The 15th International Conference on Runtime Verification will be held September 22-25 in Vienna, Austria

The 2nd International Competition on Runtime Verification will be held with RV 2015, September 22 – 25, 2015 The event will draw attention to the invaluable effort of software developers and researchers who contribute in this field by providing the community with new or updated tools, libraries and frameworks for the instrumentation and runtime verification of software

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 eighteenth edition, ETAPS 2015, will take place in London, UK. The venue will be Queen Mary University of London in the Mile End campus. The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS, established in 1998, is a confederation of six main annual conferences (CC, ESOP, FASE, FoSSaCS, POST and TACAS) accompanied by satellite workshops and other events.

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.