POPL 2017
Sun 15 - Sat 21 January 2017
Tue 17 Jan 2017 14:00 - 14:20 at Salle 105, Barre 44-54 - Session 3 Chair(s): Sam Staton

Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Session 3 PPS at Salle 105, Barre 44-54
Chair(s): Sam Staton University of Oxford
14:00
20m
Talk
Commutativity logic for probabilistic trace equivalence: complete or not?
PPS
Paul Blain Levy , Nathan Bowler Universität Hamburg
14:20
10m
Meeting
Discussion 4
PPS

14:30
20m
Talk
Mathematical structures of probabilistic programming
PPS
Ilias Garnier University of Edinburgh, Fredrik Dahlqvist University College London, Florence Clerc McGill University, Vincent Danos ENS Paris/CNRS
14:50
10m
Meeting
Discussion 5
PPS

15:00
20m
Talk
A weakest pre-expectation semantics for mixed-sign expectations
PPS
Benjamin Lucien Kaminski RWTH Aachen University, Joost-Pieter Katoen RWTH Aachen University
15:20
10m
Meeting
Discussion 6
PPS