Meeting in Salzburg, Austria, 18 - 19 January 2022

The next meeting will be a virtual one: January 18, 2022 - full day; January 19, 2022 - half day. At the business meeting, the group will elect new co-chairs.

Talks

Tue, 18 January 2022

• 08:30 Probabilistic Sentence Satisfiability: An Approach to PSAT by Xiuyi Fan      abstract slides paper
• 10:30 Lens Semantics of Machine Learning by Fabio Zanasi      abstract slides
• 13:00 Modular design patterns for neural-symbolic integration by Till Mossakowski      abstract slides
• 13:40 Dynamic Logic for Dynamical Systems by Andre Platzer      abstract slides paper

Wed, 19 January 2022

• 09:30 Alternating Signal Temporal Logic by Holger Schlingloff      abstract slides paper
• 10:00 Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs by Peter Ölveczky      abstract slides
• 10:00 Initial Algebras Without Iteration by Stefan Milius      abstract paper
• 10:30 Nawrotzki's Algorithm for the Countable Splitting Lemma, constructively by Ana Sokolova      abstract slides paper
• 11:00 Paraconsistent transition systems and their logics by Luis S. Barbosa      abstract