================================================================================
Call for Participation
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
================================================================================
Meet the FVPS community this year in Montréal, Canada, on Monday, August
5th!
FVPS focuses on the use of formal methods for the modeling, analysis and
verification of safety and security critical physical systems. FPVS 2024
features a keynote talk as well as invited presentations from academia and
industry.
We have kept the registration fees very moderate, so please join!
Registration
-----------------
Please use the following registration page (for both online and in-person
participation):
https://cicm-conference.org/2024/cicm.php?event=&menu=registration
Accommodation
-----------------------
For information about accommodation arrangement visit the web page:
https://cicm-conference.org/2024/cicm.php?event=&menu=travel
Workshop Program
----------------------------
The schedule of the workshop can be found at:
https://cicm-conference.org/2024/cicm.php?event=&menu=program
The detailed program with abstracts is accessible at:
https://cicm-conference.org/2024/cicm.php?event=fvps&menu=general
Speakers
----------------
* Kyungmin Bae (Pohang University of Science and Technology, Korea):
"Formal Model Engineering of Synchronous Cyber-Physical System Designs in
AADL"
* Waqar Ahmad (Wind River, Canada): "The Need of the Hour: Use of Formal
Methods in Automotive Cyber Physical Systems"
* Kazuhisa Nakasho (Yamaguchi University, Japan): "Challenges and
Opportunities in Formal Analysis of Side-Channel Attacks"
* J. Tanner Slagel (NASA Langley Research Center, USA): "Formal
Verification of a Merging Protocol Using a Hybrid Program Schema"
--
Regards
Co-Chairs FVPS 2024
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
