Keynote Talks

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

podelsky Andreas Podelski (Bio)
University of Freiburg, Germany

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

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

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

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

These are firm deadlines

January 12, 2016

Abstract submission deadline

January 23, 2016

Paper submission deadline

March 15, 2016

Acceptance notification

April 05, 2016

Camera ready copy due



The proceedings of the conference will be published in Springer’s Lecture Notes in Computer Science

Partners & Sponsors