IFIP WG 2.2 Meeting, Palazzo Gaudenzi, Bologna, September 6-8, 2023

Talks

Wednesday, September 6, 2023

• Rob van Glabbeek
  Failure Trace Semantics for a Process Algebra with Time-Outs
  abstract, slides
• Igor Walukiewicz
  Revisiting Partial-Order Reduction
  slides
• Roland Meyer
  Verifiying Concurrent Data Structures
  slides
• Delia Kesner
  A Fine-Grained Computational Interpretation of Girard's Intuitionistic Proof-Nets
  abstract
• Bartek Klin
  Computation Theory in Sets with Atoms
  slides
• Antonin Kucera
  Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions
  
• Parosh Abdulla
  Checking Liveness Properties under Weak Consistency (TSO as an Example)
  
• Furio Honsell
  Geometry of Interaction and Principal Types
  abstract, slides

Thursday, September 7, 2023

• Ernst-Rüdiger Olderog
  Concurrent Hyperproperties
  abstract, slides
• Luis Caires
  The Session Abstract Machine
  slides
• Frank de Boer
  The Logic of Separation Logic: Models & Proofs
  slides
• Javier Esparza
  IP = PSPACE Practicaal for Automatic Verification
  slides
• Andrzej Murawski
  Operational Algorithmic Game Semantics
  abstract, slides
• Pavel Sobocinski
  Diagrammatic Algebra of First-Order Logic
  

Friday, September 8, 2023

• Einar Broch Johnsen
  From SMOL to Digital Twins
  slides
• Joost-Pieter-Katoen
  Deductive Verification of Probabilistic Programs
  slides
• Zeinab Galal
  Bidimensional Fixpoint Operators
  abstract, slides