Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or (FSCD 2017) -

Mon 4 - Thu 7 September 2017 Oxford, United Kingdom

co-located with ICFP 2017

Who

Simon Castellan, Pierre Clairambault, Glynn Winskel

Track

Time Zone

The program is currently displayed in (GMT+01:00) Belfast.

Use conference time zone: (GMT+01:00) BelfastSelect 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 5 Sep 2017 17:10 - 17:40 at L2 - Session 9

Simon CastellanAuthor

Pierre ClairambaultAuthor

Glynn WinskelAuthor

Time Zone

The program is currently displayed in (GMT+01:00) Belfast.

Use conference time zone: (GMT+01:00) BelfastSelect 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 5 Sep
Displayed time zone: Belfast change

	16:40 - 18:10	Session 9FSCD 2017 at L2

	16:40 30m Talk		Generalized Refocusing: from Hybrid Strategies to Abstract Machines FSCD 2017 A: Malgorzata Biernacka University of Wroclaw, A: Witold Charatonik , A: Klara Zielińska
	17:10 30m Talk		Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or FSCD 2017 A: Simon Castellan , A: Pierre Clairambault , A: Glynn Winskel
	17:40 30m Talk		Refutation of Sallé's Longstanding Conjecture FSCD 2017 A: Benedetto Intrigila , A: Giulio Manzonetto , A: Andrew Polonsky