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