Commutativity logic for probabilistic trace equivalence: complete or not? ( PPS 2017) - POPL 2017

Sun 15 - Sat 21 January 2017

Who

Paul Blain Levy, Nathan Bowler

Track

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

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

Paul Blain Levy

Nathan Bowler

Universität Hamburg

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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