FMICS Program

I0		Thursday		Friday

8:30	Live Registration & Coffee	Live Registration & Coffee





9:00	Live Reasoning About Probabilistic Loops, Moment by Moment Ezio Bartocci Invited











10:00	Live Coffee Break	Live Coffee Break





10:30	FMICS Session 1 Industrial Adoption of Formal Methods: An Industry Perspective on the Transition to SPARK for Security Critical Firmware Development A Formally Verified N-Dimensional Safety Shield for Autonomous Systems Deductive Verification of a Patricia Trie with Creusot	FMICS Session 3 Exploiting the Layout of a Railway Interlocking System for Path Reliability Evaluation Lazy Three-Way Model Merging in Cinco Cloud: A Lattice-Theoretic Approach Domain-Specific 3D Visualization of Formal Models

















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 Reasoning about concurrent loops and recursion with rely-guarantee rules Consistency proofs for axiomatic extensions: translating VerCors's Axiomatic Data Types into Isabelle	Live Panel Session discussing the Industrial use of Formal Methods FMICS













16:10	Live Closing	Live Coffee Break















17:30		Live Closing





18:00		Live Football











19:00	Live Boat Tour / Dinner