[Apologies if you receive multiple copies of this message]

CfP: CoSim-CPS, 6th Workshop on Formal Co-Simulation of Cyber-Physical
Systems
A satellite event of SEFM 2022, September 27, 2022, Berlin, Germany

Submission due: Sunday 31 July 2022
Website: https://sites.google.com/view/cosimcps2022/home
Categories: simulation, formal methods, modeling, systems engineering, 
and co-simulation
--------------------------------------------------------------------------------------------------------

CoSim-CPS is a workshop on the integrated application of formal 
methods and co-simulation technologies in the development of 
software for Cyber-Physical Systems.

Topics of interest include, but are not limited to:
- Development of new co-simulation methods and tools
- Integration of formal methods technologies in co-simulation methods
and tools
- Experience reports on using existing co-simulation methods and tools
- Emerging standards for co-simulation
- Modeling and analysis of safety properties of cyber-physical systems 
through co-simulation
- Modeling and analysis of human-machine interfaces in cyber-physical 
systems through co-simulation
- Modeling and analysis of security aspects of cyber-physical systems 
through co-simulation
- Co-simulation of the next-generation cyber-physical systems
- Co-simulation in self-adaptive and digital twin systems

SUBMISSION GUIDELINES & PROCEEDINGS: 
 * Papers will be reviewed by at least 3 PC members.
 * Proceedings might be published (under discussion) in Springer's 
Lecture Notes in Computer Science series. 
* All speakers will be required to register and give a talk in person.
Talks will be streamed online.

IMPORTANT DATES
* Abstract submission (optional): Sunday 24 July 2022 
* Paper submission: Sunday 31 July 2022  
* Notification: Wednesday 31 August 2022
* Camera-ready version:  Monday 19 September 2022
* Workshop date: Tuesday 27 September 2022

PC CO-CHAIRS
- Cinzia Bernardeschi, University of Pisa, Italy
- Claudio Gomes, Aarhus University, Denmark
- Maurizio Palmieri, University of Pisa, Italy
- Paolo Masci, National Institute of Aerospace (NIA), USA

Program Committee
- Aaron Dutle, NASA Langley Reserach Center, USA
- Adriano Fagiolini, University of Palermo, Ital
- Andrea Domenici, University of Pisa, Italy
- Francesco Flammini, Mälardalen University, Sweden
- Francisco J.  González, University of A Coruña, Spain
- Holger Pfeifer, fortiss GmbH, Germany
- Hugo Daniel Macedo, Aarhus University, Denmark
- Jörg Brauer, Verified Systems International GmbH, Germany
- Julien Alexandre Dit Sandretto, Ensta ParisTech, France
- Ken Pierce, Newcastle University, UK
- Neeraj Singh, INPT-ENSEEIHT / IRIT and University of Toulouse, France
- Paul De Meulenaere, University of Antwerp, Belgium 
- Rudolf Schlatte, University of Oslo, Norway 
- Stylianos Basagiannis, Collins Aerospace, Ireland