Program of PSPL

Saturday, July 10th

Saturday's program is also available with abstracts and side by side with other events.

09:00‑10:00 Session 1
Location: AT 2.14
09:00 Invited Talk: Viktor Vafeiadis
Recent developments in concurrent program logics
10:30‑12:30 Session 2
Location: AT 2.14
10:30 Luís Caires, Carla Ferreira and António Ravara
A simple proof system for lock-free concurrency
11:00 Giuseppe Primiero
A multi-modal dependent type theory for representing data accessibility in a network
11:30 Sungwoo Park and Jonghyun Park
Towards a Cut-free Sequent Calculus for Boolean BI
12:00 Holger Gast
A Developer-oriented Hoare Logic
14:00‑15:00 Session 3
Location: AT 2.14
14:00 Invited Talk: André Platzer
Proof Systems for Hybrid System Logics
15:30‑17:00 Session 4
Location: AT 2.14
15:30 Matteo Mio
A Proof System for Reasoning about Probabilistic Concurrent Processes
16:00 Discussion Session: Peter O'Hearn and Alex Simpson
Challenge topics in PSPL