08:30 - 09:00: Registration
09:00 - 09:50: Invited Talk: Lars Birkedal.
09:50 - 10:20: Coffee break
10:20 - 10:45: Matteo Acclavio, Giulia Manara and Fabrizio Montesi. Formulas as Processes, Deadlock-Freedom as Choreographies
10:45 - 11:10: Thomas Hildebrandt. Dynamic Condition Response Graphs: Past, Present and Future
11:10 - 11:35: Juan Jaramillo and Jorge A. Pérez. Contrasting Deadlock-Free Session Processes
11:35 - 12:00: Benjamin Bisping. Generalized Equivalence Checking of Concurrent Programs
12:00 - 13:30: Lunch
13:30 - 14:20: Invited Talk: Bahareh Afshari - Co-inductive Proofs
14:20 - 14:40: Coffee break
14:40 - 15:05: João Mota. A type system framework for safe (a)synchronous concurrent programming
15:05 - 15:30: Marco Bernardo. Proved Reversible Process Calculus: Semantics, Logics, Axioms
15:30 - 15:55: Georgiana Caltais, Milan Lopuhaä-Zwakenberg and Marielle Stoelinga. A tale of two causalities: Fault trees versus actual causality
15:55 - 16:15: Coffee break
16:15 - 16:40: Aime Ntagengerwa. Fault Tree Synthesis from Capella Models
16:40 - 17:05: Andrea Esposito. Noninterference in Reversible Systems: Nondeterminism, Probability, Time
17:05 - 17:30: Matteo Acclavio, Fabrizio Montesi and Marco Peressotti. On Propositional Dynamic Logic and Concurrency