IFIP WG 2.2 Meeting, Münster, September 19-21, 2022
Talks
Monday, September 19, 2022
- Frank de Boer
A Theory of Substitutions for Separation Logic
slides
- Luke Ong
Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming
abstract, slides
- Stephan Merz
Tool Support for TLA+: TLC, Apalache & TLAPS
abstract, slides
- Ugo Dal Lago
On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments
abstract, slides
- Barbara König
Hennessy-Milner Theorems via Galois Connections
slides
Tuesday, September 20, 2022
- Rob van Glabbeek
Fair Must Testing for I/O Automata
abstract, slides
- Igor Walukiewicz
Concurrent Systems Need Not be Hard
slides
- Delia Kesner
Quantitative Inhabitation
abstract
- Luis Caires
Propositions-as-types and Stateful Computation
abstract
Wednesday, September 21, 2022
- Christoph Ohrem
Asynchronous Hyperlogics
slides
- Antonin Kucera
Results about Asymptotic Termination Analysis for VASS Programs
abstract, slides
- Jens Gutsfeld
Temporal Team Semantics Revisited
slides