Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces (FOSSACS 2019) - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Who

Thomas Leventis, Michele Pagani

Track

Time Zone

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

Use conference time zone: (GMT+02: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 9 Apr 2019 12:00 - 12:30 at MOON - Semantics Chair(s): C.-H. Luke Ong

Link to Publication

https://link.springer.com/chapter/10.1007/978-3-030-17127-8_21

Thomas Leventis

Università di Bologna

Italy

Michele Pagani

University Paris Diderot

France

Time Zone

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

Use conference time zone: (GMT+02: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 9 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	10:30 - 12:30	SemanticsFOSSACS at MOON Chair(s): C.-H. Luke Ong University of Oxford

	10:30 30m Talk		Justness: A Completeness Criterion for Capturing Liveness Properties FOSSACS Rob van Glabbeek Link to publication
	11:00 30m Talk		A Complete Normal-Form Bisimilarity for State FOSSACS Dariusz Biernacki University of Wrocław, Sergueï Lenglet University of Lorraine, France, Piotr Polesiuk University of Wrocław Link to publication
	11:30 30m Talk		A Sound and Complete Logic for Algebraic Effects FOSSACS Cristina Matache , Sam Staton University of Oxford Link to publication
	12:00 30m Talk		Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces FOSSACS Thomas Leventis Università di Bologna, Michele Pagani University Paris Diderot Link to publication