FMICS Program

I0		Thursday		Friday

8:30	On now Registration & Coffee	On now Registration & Coffee





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











10:00	On now Coffee Break	On now Coffee Break





10:30	On now FMICS Session 1 - Formal Verification Session chair: Alessandro Fantechi 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	On now FMICS Session 3 - Advanced Analysis Session chair: Maurice ter Beek 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	On now Lunch	On now Lunch

















13:30	On now Application of Formal Methods to Design and Verification of Autonomous Space Systems Session chair: Kristin-Yvonne Rozier Julia Badger FMICS	On now Reducing Time to Market through Formal Methods Session chair: Peter Gorm Larsen Colin O'Halloran FMICS













14:40	On now Coffee Break	On now Coffee Break



15:00	On now FMICS Session 2 - Advanced Reasoning Session chair: Martin Georg Fränzle 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	On now Panel Session discussing the Industrial use of Formal Methods Session chair: Peter Gorm Larsen (moderator) Peter Gorm Larsen (moderator), Maurice ter Beek, Julia Badger, Colin O'Halloran











	19:00 Social Dinner & Cruise (Boarding at 7:15pm)	18:00 Football

Thursday

8:30	On now Registration & Coffee
9:00	On now Reasoning About Probabilistic Loops, Moment by Moment Session chair: Max Tschaikowski Ezio Bartocci Joint Room A
10:00	On now Coffee Break
10:30	On now FMICS Session 1 - Formal Verification Session chair: Alessandro Fantechi 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	On now Lunch
13:30	On now Application of Formal Methods to Design and Verification of Autonomous Space Systems Session chair: Kristin-Yvonne Rozier Julia Badger FMICS
14:40	On now Coffee Break
15:00	On now FMICS Session 2 - Advanced Reasoning Session chair: Martin Georg Fränzle 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	On now Social Dinner & Cruise (Boarding at 7:15pm)

Friday

8:30	On now Registration & Coffee
9:00	On now Category Theory for Fast Model Checking Algorithms Session chair: Ana Sokolova Ichiro Hasuo Joint Room A
10:00	On now Coffee Break
10:30	On now FMICS Session 3 - Advanced Analysis Session chair: Maurice ter Beek 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	On now Lunch
13:30	On now Reducing Time to Market through Formal Methods Session chair: Peter Gorm Larsen Colin O'Halloran FMICS
14:40	On now Coffee Break
15:00	On now Panel Session discussing the Industrial use of Formal Methods Session chair: Peter Gorm Larsen (moderator) Peter Gorm Larsen (moderator), Maurice ter Beek, Julia Badger, Colin O'Halloran
18:00	On now Football

Caption

Invited

FMICS