Meeting in Luxembourg, Luxembourg, 27 - 28 March 2021

A huge majority of members voted for cancelling the Lipari meeting and meet co-located with ETAPS '21 instead. This meeting will be our first online meeting. The current understanding is that ETAPS '21 organisers will provide us with some facilities.

Talks

Sat, 27 March 2021

• 10:00 Property-Directed Verification of Recurrent Neural Networks by Martin Leucker     
• 10:40 Verification of GPU kernels with VerCors by Marieke Huisman      abstract slides
• 11:20 Combining probabilistic and non-deterministic choice via weak distributive laws by Daniela Petrisan      abstract
• 14:00 Logical Foundations of Cyber-Physical Systems by Andre Platzer      abstract slides paper
• 14:40 Reasoning about space: a logical framework based on Simplicial Complexes by Michele Loreti      abstract slides

Sun, 28 March 2021

• 10:00 New book: Formal Methods for Software Engineering by Markus Roggenbach      abstract slides
• 10:40 Compositionality of Safe Communication in Systems of Team Automata by Rolf Hennicker      abstract slides paper
• 11:20 Lax Extensions, Behavioural Metrics and Modal Logics by Lutz Schröder      abstract slides paper