FMICS Program

I0		Thursday		Friday

8:30	Live Registration & Coffee	Live Registration & Coffee





9:00	Live Reasoning About Probabilistic Loops, Moment by Moment Session chair: Max Tschaikowski Ezio Bartocci Joint Room A	Live Category Theory for Fast Model Checking Algorithms Session chair: Ana Sokolova Ichiro Hasuo Joint Room A











10:00	Live Coffee Break	Live Coffee Break





10:30	FMICS Session 1 - Formal Verification Industrial Adoption of Formal Methods: An Industry Perspective on the Transition to SPARK for Security Critical Firmware DevelopmentAsieh Salehi Fathabadi, Mark Hermeling A Formally Verified N-Dimensional Safety Shield for Autonomous SystemsBenjamin Puyobro, Paolo Crisafulli, Burkhart Wolff Deductive Verification of a Patricia Trie with CreusotTéo Bernier, Frédéric Loulergue, Nikolai Kosmatov	FMICS Session 3 - Advanced Analysis Exploiting the Layout of a Railway Interlocking System for Path Reliability EvaluationAlessandro Fantechi, Gloria Gori, Jacopo Zecchi Lazy Three-Way Model Merging in Cinco Cloud: A Lattice-Theoretic ApproachJonas Schürmann, Bernhard Steffen Domain-Specific 3D Visualization of Formal ModelsMax Richter, Fabian Vu

















12:00	Live Lunch	Live Lunch

















13:30	Live Application of Formal Methods to Design and Verification of Autonomous Space Systems Julia Badger FMICS	Live Reducing Time to Market through Formal Methods Colin O'Halloran FMICS













14:40	Live Coffee Break	Live Coffee Break



15:00	FMICS Session 2 - Advanced Reasoning Reasoning about concurrent loops and recursion with rely-guarantee rulesIan J. Hayes, Larissa Meinicke, Cliff Jones Consistency proofs for axiomatic extensions: translating VerCors's Axiomatic Data Types into IsabelleEdoardo Putti, Alexander Stekelenburg	Live Panel Session discussing the Industrial use of Formal Methods













16:10		Live Coffee Break





















18:00		Live Football











19:00	Live Boat Tour / Dinner (Boarding at 7:15pm)

Thursday

8:30	Live Registration & Coffee
9:00	Live Reasoning About Probabilistic Loops, Moment by Moment Session chair: Max Tschaikowski Ezio Bartocci Joint Room A
10:00	Live Coffee Break
10:30	FMICS Session 1 - Formal Verification Industrial Adoption of Formal Methods: An Industry Perspective on the Transition to SPARK for Security Critical Firmware Development Asieh Salehi Fathabadi, Mark Hermeling A Formally Verified N-Dimensional Safety Shield for Autonomous Systems Benjamin Puyobro, Paolo Crisafulli, Burkhart Wolff Deductive Verification of a Patricia Trie with Creusot Téo Bernier, Frédéric Loulergue, Nikolai Kosmatov
12:00	Live Lunch
13:30	Live Application of Formal Methods to Design and Verification of Autonomous Space Systems Julia Badger FMICS
14:40	Live Coffee Break
15:00	FMICS Session 2 - Advanced Reasoning Reasoning about concurrent loops and recursion with rely-guarantee rules Ian J. Hayes, Larissa Meinicke, Cliff Jones Consistency proofs for axiomatic extensions: translating VerCors's Axiomatic Data Types into Isabelle Edoardo Putti, Alexander Stekelenburg
19:00	Live Boat Tour / Dinner (Boarding at 7:15pm)

Friday

8:30	Live Registration & Coffee
9:00	Live Category Theory for Fast Model Checking Algorithms Session chair: Ana Sokolova Ichiro Hasuo Joint Room A
10:00	Live Coffee Break
10:30	FMICS Session 3 - Advanced Analysis Exploiting the Layout of a Railway Interlocking System for Path Reliability Evaluation Alessandro Fantechi, Gloria Gori, Jacopo Zecchi Lazy Three-Way Model Merging in Cinco Cloud: A Lattice-Theoretic Approach Jonas Schürmann, Bernhard Steffen Domain-Specific 3D Visualization of Formal Models Max Richter, Fabian Vu
12:00	Live Lunch
13:30	Live Reducing Time to Market through Formal Methods Colin O'Halloran FMICS
14:40	Live Coffee Break
15:00	Live Panel Session discussing the Industrial use of Formal Methods
16:10	Live Coffee Break
18:00	Live Football

Caption

Invited

FMICS