FSCD 2017
Mon 4 - Thu 7 September 2017
Oxford, United Kingdom
co-located with
ICFP 2017
Toggle navigation
Attending
Venue: Mathematical Institute
Program
Complete Program
Your Program
Mon 4 Sep
Tue 5 Sep
Wed 6 Sep
Thu 7 Sep
Track/Call
Organization
FSCD 2017
Not available
Contributors
People Index
Search
Series
Sign in
Sign up
ICFP 2017
(
series
) /
FSCD 2017 (
series
) /
FSCD 2017
/
Refutation of Sallé's Longstanding Conjecture
Who
Benedetto Intrigila
,
Giulio Manzonetto
,
Andrew Polonsky
Track
FSCD 2017
When
Tue 5 Sep 2017 17:40 - 18:10 at
L2
-
Session 9
Benedetto Intrigila
Author
Giulio Manzonetto
Author
Andrew Polonsky
Author
Session Program
Tue 5 Sep
fscd-2017
16:40 - 18:10:
FSCD 2017
- Session 9 at
L2
fscd-2017
16:40 - 17:10
Talk
Generalized Refocusing: from Hybrid Strategies to Abstract Machines
Malgorzata Biernacka
University of Wroclaw
,
Witold Charatonik
,
Klara Zielińska
fscd-2017
17:10 - 17:40
Talk
Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or
Simon Castellan
,
Pierre Clairambault
,
Glynn Winskel
fscd-2017
17:40 - 18:10
Talk
Refutation of Sallé's Longstanding Conjecture
Benedetto Intrigila
,
Giulio Manzonetto
,
Andrew Polonsky
x
Thu 12 Dec 02:10