| Authors | Title | Paper | Talk |
|---|
| Sidi Mohamed Beillahi, Umair Siddique and Sofiene Tahar | Towards the Application of Formal Methods in Process Engineering |  | Jul 13 14:30 |
| Tomer Kotek | Explaining the decompositionality of MSO using applications to combinatorics | | Jul 13 12:30 |
| David Lawrence, Dimitri Racordon, Maximilien Colange, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal, Matteo Risoldi, Nicolas Sedlmajer and Didier Buchs | Introducing Formal Verification with Lego | | Jul 13 12:00 |
| Heather Logas, Florent Kirchner, John Murray, Martin Schäf and Jim Whitehead | Chekofv: Crowd-sourced Formal Verification | | Jul 13 11:00 |
| Pratima K. Shah | An Example Demonstrating the Requirement of Fully Formal Verification Method | | Jul 13 15:00 |
| Nikolay Shilov | Using Esoteric Language for Teaching Formal Semantics | | Jul 13 11:30 |