IFIP WG 2.2 Meeting, Aachen, September 24-26, 2025

Talks: further abstracts and slides will be added in due course

Wednesday, September 24, 2025

9:00-10:20: Session 1

• Parosh Abdulla
  Checking Liveness Properties under Weak Consistency (TSO as an Example)
  
• Mariangiola Dezani-Ciancaglini
  Asynchronous Multiparty Sessions with Internal Delegation
  slides

Coffee break

10:50-12:10: Session 2

• Krishna S.
  Verification of Concurrent Programs under Weak Memory
  slides
• Einar Broch Johnsen
  Declarative Dynamic Object Reclassification
  abstract, slides

Lunch Break

13:30-15:30: Session 3

• Rob van Glabbeek
  Just Verification of Mutual Exclusion Algorithms
  slides
• Naoki Kobayashi
  Solvable Tuple Patterns and Their Applications to Program Verification
  slides
• Rupak Majumdar
  Reasoning about Availability
  

Coffee break

16:00-18:00: Session 4

• Ernst-Rüdiger Olderog
  Three Ways of Proving Termination of Loop
  abstract, slides
• Luis Caires
  Bullet-Proof Programming with CLASS
  
• Igor Walukiewicz
  Stateful Partial-Order Reduction
  slides

Joint Dinner at "La Fabrik"

Thursday, September 25, 2025

9:00-10:20: Session 5

• Mahsa Naraghi
  Polynomials All Around Us
  slides
• Mahsa Shirmohammadi
  Orbit and Group Closure with Applications in Program Invariants
  abstract, slides

Coffee break

10:50-12:10: Session 6

• James Worrell
  Interprocedural Algebraic invariants
  slides
• Georg Zetzsche
  A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter
  slides

Lunch Break

13:30-14:50: Session 7

• Damien Pous
  About Top in Kleene algebra
  slides
• Alberto Lluch Lafuente
  Tools for Teaching Formal Programming Concepts at DTU
  slides

Coffee break

Business Meeting

Excursion: Guided tour at Aachen cathedral

Friday, September, 2025

9:00-10:20: Session 8

• Jean-François Raskin
  The Value Problem for Multiple-Environment MDPs with Parity Objectives
  abstract, slides
• Stephan Merz
  Validating Traces of Distributed Programs Against TLA+ Specifications
  abstract, slides

Coffee break

10:50-12:50: Session 9

• Masahiko Sato
  Mathematics of Proof Assistant
  slides
• Ugo dal Lago
  Counting Qubits and Gates: Resource Analysis in Quantum Programming Languages
  abstract, slides
• Emma Ahrens
  Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
  slides

End of meeting