The Coq mailing list

[serge.autexier AT dfki.de (Serge Autexier)]

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

                             Third Call for Papers

     Third Workshop on Formal Verification of Physical Systems (FVPS-2024)

                                    August 5, 2024                          
                            Montreal, Quebec, Canada
                                     Hybrid Mode                        
                          Co-located with CICM 2024

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

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


Theme
=====
One of  the main issues behind  many failing systems is  the ad-hoc 
verification
approach that  involves a variety of  formalism and techniques for  the 
modeling
and  analysis   of  various  components  of   the  present-age  
(cyber)-physical
systems. For example, control and communication protocols are usually modelled
using automata theory, and thus analyzed using model checking techniques, 
while
the modeling of physical aspects often  requires   multivariate  calculus
foundations, which are in turn  analyzed using paper-and-pencil based 
analytical
proofs, simulation or theorem proving. The fundamental differences between 
these
modeling and analysis techniques limit us to analyze the whole system as one
unit and thus miss many corner cases,  which arise due to the  operation of 
all
the sub-components  of the system together.  One of the major concerns is 
that,
despite the above-mentioned evident limitations in the analysis  methods, many
safety-critical systems, such as aerospace, smart-transportation, smart-grid 
and
e-healthcare,  are increasingly  involving physical  elements. Moreover, we 
are
moving towards  integrating more  complex physical  elements in  our 
engineering
systems. For example, we are looking into developing Quantum  Computers to 
meet
high performance  needs. Similarly,  photonic components are  increasingly 
being
advocated  and used  in  aerospace  applications due  to  their lightweight  
and
temperature   independency    compared   to   traditional    electronics   
based
components.  Finally, the  impact of  physical  components is  relevant to  
both
safety and  security of the overall  system. For example, malfunction  in 
sensor
measurement  may  lead to  safety  issues  whereas sophisticated  physics  
based
side-channel  (e.g.,  power  and  acoustic measurements)  attacks  lead  to  
the
security violation of the underlying system.

The focus of the workshop will be  on formal verification techniques and 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 physic’s mathematics and 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 for physical systems modeling and verification
  + Benchmarks for physical systems
  + Formal requirement specification and validation

* Application Domains
  --------------------------
  + Aerospace and avionics systems
  + Automotive cyber physical systems
  + Autonomous Vehicles
  + Robotics
  + Smart Grids
  + Smart transportation
  + Human factor modeling and analysis
  + Biological and healthcare systems

Submission
==========

There are two categories of submissions:

* Abstract – up to 2 pages
* Regular – up to 6 pages

Electronic submission is done through EasyChair at
https://easychair.org/my/conference?conf=fvps2024. The submissions will be
reviewed by at least three PC members. At least one author of each accepted
paper is expected to present her/his paper at FVPS.

All papers accepted in the workshop will be published in CEUR Workshop
Proceedings (https://ceur-ws.org/)


Journal Special Issue
===============

The authors of selected papers will be invited to submit the extended versions
of their accepted papers to the journal "Research Directions: Cyber-Physical
Systems" by Cambridge University Press
(https://www.cambridge.org/core/journals/research-directions-cyber-physical-systems/information/about-this-journal)


Important Dates
===============
* Full Paper Submission: Continuous submission until July 12, 2024 (Early 
submission leads to early notification).
* Camera Ready: July 26, 2024
* Workshop: August 5, 2024

Program Chairs
==============
* Adnan Rashid, Concordia University, Montreal, QC, Canada
* Osman Hasan, National University of Sciences and Technology, Pakistan
* Sofiène Tahar, Concordia University, Montreal, QC, Canada

Program Committee
=================
* Aaron Dutle, NASA, USA
* Atif Mashkoor, Johannes Kepler University, Linz, Austria
* Pedro Ribeiro, University of York, UK
* Peter Csaba Ölveczky, University of Oslo, Norway
* Waqar Ahmed, Wind River, Canada