Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

8 July 2019, 2nd Workshop on Formal Verification of Physical Systems (FVPS 2019), Prague, Czech Republic

Date: Monday 8 July 2019
Location: Prague, Czech Republic
Deadline: Thursday 25 April 2019

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. 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 limitation in the analysis methods, many safety-critical systems, such as aerospace, smart-transportation, smart-grid and e-health, are increasingly involving physical elements. Moreover, we are moving towards integrating more complex physical elements in our engineering systems. Finally, the impact of physical components is relevant to both the safety and security of the overall system.

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. There are two categories of submissions: Regular papers describing developed work with theoretical or experimental results (upto 15 pages) Short papers on experience reports, tools or work in progress with preliminary results or just new ideas for discussion (upto 6 pages)

Please note that this newsitem has been archived, and may contain outdated information or links.