Meeting in Paris, France, 24 - 25 April 2023

Talks

Mon, 24 April 2023

• 10:30 Refinements of Hybrid Dynamical Systems Logic by Andre Platzer      abstract
• 11:10 Measure-Theoretic Semantics for Quantitative Parity Automata by Corina Cirstea      abstract
• 11:50 Compositionality of Effects in Semantics and Automata Theory by Daniela Petrisan      abstract
• 14:00 Graph Rewriting Components, I by Andrea Corradini      abstract
• 14:40 Graph Rewriting Components, II by Reiko Heckel      abstract
• 15:20 Quantitative graded modal logics by Lutz Schröder     
• 16:30 Optimality-preserving reductions of (Neural) Differential Equations by Max Tschaikowski      abstract
• 17:10 Business meeting by Fabio Gadducci     

Tue, 25 April 2023

• 10:30 Proving Safety of Automated Driving Vehicles by Ichiro Hasuo      abstract slides paper
• 11:10 Paraconsistent transition systems and their logics by Luis S. Barbosa      abstract
• 11:50 On fragility of interpolation by Andrzej Tarlecki      abstract
• 14:00 Hennessy-Milner Theorems via Galois Connections by Barbara König      abstract slides
• 14:40 Behavioural equivalences for local and global properties by Michele Loreti      abstract
• 15:20 Simple Coalgebraic Traces for Coalgebras of Composed Monads by Ana Sokolova      abstract