IFIP WG 2.2 Meeting, Tallinn, July 3-5, 2024
Talks
Wednesday, July 3, 2024
- Gilles Barthe
A quantitative probabilistic relational Hoare logic
abstract
- Barbara König
Approximating Fixpoints of Approximated Functions
abstract, slides
- Andrzej Murawski
Contextual Equivalence for State and Control via Nested Data
abstract, slides
- Roland Meyer
Regular Separability of VASS Reachability Languages
abstract, slides
Thursday, July 4, 2024
- Antonin Kucera
The Satisfiablility Problem for Probabilistic CTL
slides
- Andrzej Tarlecki
Stability of interpolation and CASL (sub)logics
slides
- Matt Earnshaw
From monoidal automata to string diagrams for effects
slides
- Luis Caires
Linear Dependent Types revisited
abstract
Friday, July 5, 2024
- Ernst Rüdiger Olderog
Concurrent ∀∃-Hyperproperties
abstract, slides
- Jean-Francois Raskin
LTL Reactive Synthesis with a Few Hints
abstract, slides
- Pawel Sobocinski
Functorial Semantics with String Diagrams
abstract