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…

Discussion on how to write and integrate code from CORA for SpaceEx

The International Symposium on Low Power Electronics and Design (ISLPED) will be held July 22-24, 2015 at the Sapienza University of Rome, Faculty of Engineering at the Cloister of San Pietro in Vincoli (Saint Peter in Chains), Via Eudossiana 18, Rome,…

INDIN 2015 IEEE International Conference on Industrial Informatics 22-24 July 2015, Cambridge, UK Sponsored by: IEEE Industrial Electronics Society and Anglia Ruskin University, Cambridge, UK Technical co-sponsor: Institution of Engineering and…

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

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…

Software Technologies: Applications and Foundations (STAF) is a federation of a number of the leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event (http://tools.ethz.ch) in 2012, providing a…

Sixth International Workshop on Graph Computation Models Co-located with ICGT 2015 Part of STAF 2015 Background and Aims

The 7th International Workshop on Dependable Many-Core Computing (DMCC 2015) As part of The International Conference on High Performance Computing & Simulation (HPCS 2015) http://hpcs2015.cisedu.info  or  http://cisedu…

3rd Workshop on Virtual Prototyping of Parallel and Embedded Systems July 19th, 2015, Samos, Greece held in conjunction to the Samos conference, July 20-23rd, 2015 Background

27th International Conference on Computer Aided Verification

7th Working Conference on Verified Software: Theories, Tools, and Experiments The Seventh Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich in 2005 followed by…

Jens Oehlerking was guest lecturer in Matthias Althoff's Cyber-Physical Systems lecture at TUM, giving an industrial perspective on formal verification and testing.

15th International Forum on MPSoC for Software-defined Hardware Focus:

25th International Symposium on Logic-Based Program Synthesis and Transformation Co-located with PPDP 2015 Conference Description

The Second International Workshop on Graphical Models for Security (GraMSec 2015) Co-located with CSF 2015 Graphical security models provide an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate …