Beijing Time, UTC +8:00
Tuesday, November 23th
16:00-17:30Session 1
16:00 Welcome
16:05
Jan Peleska
Invited Talk: The Future of Modelling Languages in Industry – Why Practitioners do not use Your Favourite Process Algebra [Video]
16:50
Carolina Carreira, Joao F. Ferreira, Alexandra Mendes and Nicolas Christin
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda [Video]
17:10
Lorenzo Capra
A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems [Video]
17:30-18:00Break
18:00-19:30Session 2
18:00
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini and Elvinia Riccobene
Developing a prototype of a mechanical ventilator controller from requirements to code with ASMETA [Video]
18:25
Salwa Souaf and Frederic Loulergue
Experience Report: Teaching Code Analysis and Verification Using Frama-C [Video]
18:45
Hubert Garavel, Frédéric Lang, Radu Mateescu and Wendelin Serwe
Is CADP an Applicable Formal Method? [Video]
19:05
Yu-Shan Sun, Daniel Welch and Murali Sitaraman
F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails [Video]
19:30-20:00         Break
20:00-21:30Session 3
20:00
Yannick Moy (AdaCore)
Invited Talk: Adding Proof to the Continuous Integration Workflow
20:45
Interactive Discussion Session
21:20
Wrap-up