[Caml-list] CoSim-CPS, 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems, Submission due: Sunday 31 July 2022

[Caml-list] CoSim-CPS, 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems, Submission due: Sunday 31 July 2022

[Maurizio Palmieri]

[-- Attachment #1: Type: text/plain, Size: 2927 bytes --]

[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


[-- Attachment #2: Type: text/html, Size: 3919 bytes --]