<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<p></p>
<pre class="x_x_x_x_x_x_x_a-b-r-La" style="font-family: "Courier New", Courier, monospace, arial, sans-serif; margin-top: 0px; margin-bottom: 0px; white-space: pre-wrap; font-size: 14px;">[Apologies if you receive multiple copies of this message]</pre>
<pre class="x_x_x_x_x_x_x_a-b-r-La" style="font-family: "Courier New", Courier, monospace, arial, sans-serif; margin-top: 0px; margin-bottom: 0px; white-space: pre-wrap; font-size: 14px;"><br></pre>
<pre class="x_x_x_x_x_x_x_a-b-r-La" style="font-family: "Courier New", Courier, monospace, arial, sans-serif; margin-top: 0px; margin-bottom: 0px; white-space: pre-wrap; font-size: 14px;">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</pre>
<br>
<p></p>
</div>
</body>
</html>