Keynote Talks

I- A Hierarchy of Thread-Modular Proof Systems (Abstract)

Andreas Podelski (Bio) University of Freiburg, Germany

II- Probabilistic Programming: Semantics, Termination, and Run Time Analysis (Abstract)

Joost-Pieter Katoen (Bio) RWTH Aachen University, Germany

III- Finding the Root Cause for Concurrency Bugs (Abstract)

Luis Rodrigues (Bio) INESC-ID, Universidade de Lisboa, Portugal