IFIP WG 2.2 Meeting, September 20-21, 2021, hold online

Schedule

Monday, September 20, 2021

9:30-11:35: Session 1

• Igor Walukiewicz
  Learning Sound Deterministic Negotiations
  abstract, slides
• Rupak Majumdar
  A Theory of Responsibility Allocation
  abstract, slides
• Barbara König
  Fixpoint Theory - Upside Down
  abstract, slides
• Delia Kesner
  Multi-Types
  abstract
• Maria Christakis
  Testing Program Analyzers
  abstract

Gather.Town

13:30-15:35: Session 2

• Ugo Dal Lago
  On Higher-Order Cryptography
  abstract, slides
• Andrzej Murawski
  Compositional Relational Reasoning via Operational Game Semantics
  abstract, slides
• Alberto Lluch Lafuente
  Towards a Theory of Decentralized Finance
  abstract, slides, related talk

Tuesday, September 21, 2021

9:30-11:35: Session 3

• Jerome Leroux
  Complexity of the Reachability Problem for Petri Nets
  abstract, slides
• Jean-Francois Raskin
  Subgame-perfect Equilibria in Mean Payoff Games
  abstract, slides
• Rob van Glabbeek
  Mutual Exclusion: Possibilities and Impossibilities
  abstract, slides
• Mariangiola Dezani-Ciancaglini
  Deconfined Intersection Types in Java
  abstract, slides

Gather.Town

13:30-15:00: Business Meeting