Meeting in Glasgow, Scotland, 13 - 15 June 2025

The next meeting will be colocated with CALCO 2025 / MFPS XLI.

Talks

Fri, 13 June 2025

• 14:30 A Taxonomy of Hoare-Like Logics by Benjamin Lucien Kaminski      abstract paper
• 16:00 Formal Analysis of Cyber-Physical Systems Using Rewriting Modulo SMT by Kyungmin Bae      abstract

Sat, 14 June 2025

• 09:30 Partial Markov Categories by Pawel Sobocinski     
• 10:15 Diagrammatic Algebra of First Order Logic by Filippo Bonchi      abstract slides paper
• 11:30 Sound and Complete Axiomatization for Infinite Probabilistic Trace Semantics by Ana Sokolova      abstract
• 12:15 Symbolic Executions of Epistemic Ensembles by Alexander Knapp      abstract slides
• 14:00 Behavioural Conformance Games for Graded Semantics by Lutz Schröder     
• 14:45 Reflections about Teaching with Dafny by Dirk Pattinson      abstract
• 15:05 Teaching Formal Methods to Undergraduate Students Using Maude: Why?, How?, and Experiences by Peter Ölveczky      abstract paper
• 16:00 Teaching Dafny to First Year Students by Markus Roggenbach      abstract paper
• 16:20 Something About Teaching Quantum Programming by Luis S. Barbosa      slides
• 16:40 Discussion on Teaching Formal Methods by Holger Schlingloff     

Sun, 15 June 2025

• 09:30 Business meeting by Fabio Gadducci     
• 11:30 Discussion on FM for AI by Holger Schlingloff      slides