QONFEST 2021 Paris

Below you will find the programme of the FMICS conference. All times are in CEST. A general overview of the Qonfest programme can be found here.

Registered participants can obtain access to session teasers and session zoom link by entering a password given to them by the organizers. Links to teasers and zoom session will appear when hovering above a session. Links to teasers will appear under the session or paper title.

You are logged in as a Qonfest participant. Hovering the mouse above a session will show more information, including links to the teaser videos. You can access the teasers for sessions or individual papers using the links in the programme below.
To join the conference, go to our gather.town session (same password as for this page).
Teasers and recording of sessions will be available on our YouTube channel

Proceedings: CONCUR • FMICS • FORMATS • QEST

Note: To enable your access to QEST papers, first click the Springer link on the QEST homepage.

August 24th

17h–17h05	FMICS Opening Remarks
17h05–18h15 Session 1	Verification Ákos Hajdu
	Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol and Jim Woodcock Verification of Co-Simulation Algorithms Subject to Algebraic Loops and Adaptive Steps
	Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré and Hiroaki Inoue Automated Verification of Temporal Properties of Ladder Programs
	Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink and Giorgio Oronzo Spagnolo Spatial Model Checking for Smart Stations: Research Challenges
18h15–18h30	Coffee break
18h30–19h30 FMICS Keynote talk	Joe Kiniry Haunting Tales of Applied Formal Methods from Academia and Industry

August 25th

13h–14h	Social lunch (Best Paper QEST)
14h–15h15 Session 2	Program Safety & Education Maurice H. ter Beek
	Hamid Jahanian Parametric Faults in Safety Critical Programs
	Robert Rubbens, Sophie Lathouwers and Marieke Huisman Modular Transformation of Java Exceptions Modulo Errors
	Bernd Westphal On Education and Training in Formal Methods for Industrial Critical Systems
15h15–15h45	Coffee break
15h45–16h45 QEST Keynote talk	François Baccelli Stochastic Geometry based Performance Analysis of Wireless Networks
16h45–17h	Coffee break
17h–17h50 Session 3	(Event-)B Modeling & Validation Cristina Seceleanu
	Joshua Schmidt and Michael Leuschel Improving SMT Solver Integrations for the Validation of B and Event-B Models
	Ismail Mendil, Yamine Ait Ameur, Neeraj Kumar Singh, Dominique Méry and Philippe Palanque Standard Conformance-by-Construction with Event-B
17h50–18h05	Coffee break
18h05–19h30	Test of Time Award

August 26th

12h–13h CONCUR Keynote talk	Patricia Bouyer Parameterized concurrent games
13h–14h	Social lunch (Best Paper FORMATS)
14h–15h15 Session 4	Formal Analysis Simon Bliudze
	Andrej Kiviriga, Ulrik Nyman and Kim Guldstrand Larsen Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems
	Baptiste Pollien, Xavier Thirioux, Christophe Garion, Gautier Hattenberger and Pierre Roux Verification of a Mathematical Library of an Autopilot with Frama-C
	Davide Basile, Alessandro Fantechi and Irene Rosadi Formal Analysis of the UNISIG Safety Application Intermediate Sub-Layer
15h15–15h45	Coffee break
15h45–16h45 FORMATS Keynote talk	Jana Tumova Formal Methods for Robot Motion Planning with Time and Space Constraints
16h45–17h	Coffee break
17h–18h15 Session 5	Tools Anastasia Mavridou
	Jens Bendisposto, David Geleßus, Michael Leuschel and Fabian Vu ProB2-UI: A Java-based User Interface for ProB
	Roberto Bruttomesso Intrepid: a Scriptable and Cloud-ready SMT-based Model Checker
	Daniel Larraz, Mickaël Laurent and Cesare Tinelli Merit and Blame Assignment with Kind 2
18h15–18h30	Break
18h30–19h15 Session 6	Test Generation & Probabilistic Verification Dejan Nickovic
	Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli and Georgios Fainekos PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems
	Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty and Zhen Zhang Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System
19h15–19h30	FMICS Closing Remarks