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