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 |