============================================================= 

Call for Participation

2nd Workshop on Formal Verification of Physical Systems (FVPS 2019) 

                  Colocated with CICM 2019 

                    July 8, 2019 

              Prague, Czech Republic 

https://www.cicm-conference.org/2019/cicm.php?event=fvps&menu=general 

============================================================= 

====== 

Theme 

====== 

The objective of the workshop is to gather scientists and engineers interested 

in formal verification techniques for the modeling, analysis, and verification 

of safety and security critical physical systems. We encourage submissions on 

interdisciplinary approaches that bring together formal methods and techniques 

from other knowledge areas such as quantum computing, control theory, biology, 

optimization theory, and artificial intelligence. 

============== 

Topics of Interest 

============== 

Topics of interest include (but are not limited to): 

General Topics 

Formalization of mathematics and physics theories 

Interactive and automated theorem proving for physical systems 

Model Checking algorithms and tools for physical systems 

Formalization of security and safety of physical systems 

Runtime verification of safety and security properties 

Combination of formal, semi-formal and informal approaches 

Formal verification of numerical algorithms 

Refinement based verification of physical systems 

Formalization of probability, reliability and statistical metrics 

Hybrid systems 

Benchmarks for physical systems 

Formal requirement specification and validation 

Formal verification and International Standards (e.g., ISO 26262, IEC 61508, DO 178) 

Formal verification for safety cases 

Application Domain 

Aerospace and avionics systems 

Automotive cyber-physical systems 

Robotics 

Smart-grids 

Smart transportation 

Human factor modeling and analysis 

Biological and healthcare systems 

========= 

Submission 

========= 

We welcome presentation and demonstration proposals in the form of extended 1-4

page abstracts formatted in LaTeX.  Abstracts should submitted through 

EasyChair (https://easychair.org/conferences/?conf=fvps2019)

Abstracts of presentations and demonstrations will be published online.

More details about FVPS 2019 are available at

Important Dates

   o Abstract submission: June 24, 2019

   o Notification:        July 01, 2019

   o Workshop:            July 8, 2019

Registration

Registration to CICM 2019 and the workshops is open at the CICM

website or directly at

================ 

Program Committee 

================ 

Aaron Dutle, NASA Langley Research Center, U.S.A. 

Hubert Garavel, INRIA Grenoble, France 

Osman Hasan, National University of Sciences and Technology, Pakistan (Chair) 

Atif Mashkoor, SCCH and JKU, Austria 

Julien Narboux, University of Strasbourg, France 

Peter Csaba Ölveczky, University of Oslo, Norway 

Florian Rabe, FAU Erlangen-Nürnberg and LRI Paris, France 

Sofiene Tahar, Concordia University, Canada (Chair) 

Umair Siddique, Blackberry QNX Software Systems, Canada (Chair)