Meeting in Lipari, Italy, 05 - 09 September 2022

The meeting was held at the Giardino sul Mare hotel (Via Maddalena, 65, 98055 Lipari ME, Italy). Talk were 60 minutes long, coffee breaks started at 11:00.

Talks

Tue, 06 September 2022

• 10:00 Hybrid system development in Event-B by Dominique Méry      abstract slides
• 11:30 Stateful Structural Operational Semantics by Stefan Milius      abstract slides paper
• 12:30 A dynamic logic for systems with predicate-based communication by Rolf Hennicker      abstract
• 15:00 Minimization of dynamical systems over monoids by Max Tschaikowski      abstract paper
• 16:00 An institutional approach to Communicating UML State Machines by Alexander Knapp      abstract slides paper

Wed, 07 September 2022

• 10:00 Probabilistic learning by Bart Jacobs     
• 11:30 A modal dependent type theory with erasure by Andreas Abel      abstract
• 12:30 Divergences on computational effects for relational program logics by Shin-ya Katsumata      abstract
• 15:00 Business meeting by Fabio Gadducci     

Thu, 08 September 2022

• 10:00 Minimisation of event structures by Paolo Baldan      abstract slides paper
• 11:30 Why do you need to learn if you can program it? by Michele Loreti      abstract
• 12:30 Axiomatizing prefix closed regular languages by Marcello Bonsangue      abstract