Below you will find the programme of the FORMATS conference. All times are in CEST. A general overview of the Qonfest programme can be found here.
The proceedings volume of FORMATS 2021 is officially published as volume 12860 of LNCS.
Wrong password, please try again.
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
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
| 11h45–12h |
QONFEST opening session
|
| 12h–13h FORMATS Keynote talk |
Daniele Magazzeni
Parosh Abdulla
Temporal Reasoning for Intelligent Financial Services: Examples and Challenges
|
| 13h–14h |
Social lunch (Best Paper CONCUR, Pub Sponsor)
|
| 14h–15h15 Session 1 |
Timed systems
Hsi-Ming Ho
|
| Explaining Safety Violations in Real-Time Systems | |
| On the complexity of timed pattern matching | |
| 15h15–15h45 | Coffee break |
| 15h45–16h45 CONCUR+QEST Keynote talk |
Boudewijn Haverkort
Performance Evaluation: Model or Problem Driven?
|
| 16h45–17h | Coffee break |
| 17h–18h15 Invited presentations 1 |
Timed automata
Krishna S
|
| Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach | |
| Urgent Partial Order Reduction for Extended Timed Automata | |
| 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 Special session 1 |
Synthesis and control
Igor Potapov
|
| Closing the Gap between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability | |
| Formal Abstraction and Synthesis of Parametric Stochastic Processes | |
| 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 Invited presentations 2 |
Timed games
Engel Lefaucheux
|
| On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games | |
| Timed Games and Deterministic Separability | |
| 17h50–18h05 | Coffee break |
| 18h05–19h30 |
August 26th
| 12h–13h CONCUR Keynote talk |
Patricia Bouyer
Parameterized concurrent games
|
| 13h–14h |
Social lunch (Best Paper FORMATS)
|
| 14h–15h15 Session 2 |
Verification of timed systems
Mickael Randour
|
| An Integer Static Analysis for Better Extrapolation in Uppaal | |
| Stubborn Set Reduction for Timed Reachability and Safety Games | |
| 15h15–15h45 | Coffee break |
| 15h45–16h45 FORMATS Keynote talk |
Jana Tumova
Morteza Lahijanian
Formal Methods for Robot Motion Planning with Time and Space Constraints
|
| 16h45–17h | Coffee break |
| 17h–18h15 Special session 2 |
Verification of nonlinear systems
Sadegh Soudjani
|
| Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems | |
| DiffRNN: Differential verification of Recurrent Neural Networks | |
| 18h15–19h15 |
FORMATS closure session & Business Meeting
|
