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
slides
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