Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Mon 14 Jan 2019 11:15 - 11:40 at Sala VII - Causality, Reversibility Chair(s): Thomas H. Hildebrandt

Mon 14 Jan

Displayed time zone: Belfast change

11:15 - 12:30
Causality, ReversibilityOPCT at Sala VII
Chair(s): Thomas H. Hildebrandt
11:15
25m
Talk
Causal Reasoning for Safety
OPCT
Georgiana Caltais University of Konstanz
File Attached
11:40
25m
Talk
A Calculus of Branching Processes
OPCT
12:05
25m
Talk
An Axiomatic Approach to Reversible Computation
OPCT
Irek Ulidowski University of Leicester