| |||||||||||||||
CoSim-CPS 2021 : 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems | |||||||||||||||
Link: https://sites.google.com/view/cosim-cps-2021/home | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
---------------------------------------------------------------------
CfP: CoSim-CPS, 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems A satellite event of SEFM 2021, December 7, 2021, Amsterdam, The Netherlands An entirely virtual event because of the COVID-19 pandemic. Submission of papers and paper selection process are as planned. Organisation of the workshop will follow the rules of the main conference. Submission due: Friday 24 September 2021 (EXTENDED to Friday 8 October) Submission link: https://easychair.org/conferences/?conf=cosimcps2021 Website: https://sites.google.com/view/cosim-cps-2021/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 SUBMISSION GUIDELINES & PROCEEDINGS: * Papers will be reviewed by at least 3 PC members. * Proceedings will be published in Springer's Lecture Notes in Computer Science series. IMPORTANT DATES * Abstract Submission (Optional): Friday 24 September 2021 * Paper Submission: Friday 1 October 2021 (EXTENDED to Friday 8 October) * Author Notification: Friday 5 November 2021 * Camera-Ready: Friday 3 December 2021 * Workshop: 7 December, 2021 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 - Julien Alexandre Dit Sandretto, Ensta ParisTech - Swee Balachandran, National Institute of Aerospace (NIA) - Mongi Ben Gaid, IFPEN - Jörg Brauer, Verified Systems International GmbH - Paul De Meulenaere, University of Antwerp - Andrea Domenici, University of Pisa - Aaron Dutle, NASA - Adriano Fagiolini, University of Palermo - Francesco Flammini, Linnaeus University - Ken Pierce, Newcastle University - Antonella Longo, University of Salento - Akshay Rajhans, MathWorks - Rudolf Schlatte, University of Oslo - Neeraj Singh, INPT-ENSEEIHT / IRIT and University of Toulouse - Casper Thule Hansen, Aarhus University --------------------------------------------------------------------- |
|