[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
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
