FSCD 2017
Mon 4 - Thu 7 September 2017 Oxford, United Kingdom
co-located with ICFP 2017
Filter
Conference Dates
Conference Dates are in time zone (GMT+01:00) Greenwich Mean Time : Belfast, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 4 Sep
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

fscd-2017
10:30 - 10:45: FSCD 2017 - Welcome at L2
fscd-201710:30 - 10:45
Other
Sam StatonUniversity of Oxford, Dale MillerINRIA Saclay and LIX
fscd-2017
10:45 - 11:45: FSCD 2017 - Session 1 at L2
fscd-201710:45 - 11:45
Talk
Alexandra SilvaUniversity College London
fscd-2017
15:00 - 16:00: FSCD 2017 - Session 3 at L2
fscd-201715:00 - 15:30
Talk
Jonas Kaiser, Brigitte PientkaMcGill University, Gert SmolkaSaarland University
fscd-201715:30 - 16:00
Talk
Jasmin BlanchetteVrije Universiteit Amsterdam, Mathias FleuryMPI-INF, Dmitriy TraytelETH Zurich

Tue 5 Sep
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

fscd-2017
10:30 - 11:30: FSCD 2017 - Session 5 at L2
fscd-201710:30 - 11:30
Talk
Georg MoserUniversity of Innsbruck
fscd-2017
11:30 - 12:00: FSCD 2017 - Session 6 at L2
fscd-201711:30 - 12:00
Talk
Daniel HillerströmThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, Robert AtkeyUniversity of Strathclyde, KC SivaramakrishnanUniversity of Cambridge
fscd-2017
15:00 - 16:00: FSCD 2017 - Session 8 at L2
fscd-201715:00 - 15:30
Talk
Stefano Guerrini, Marco SolieriUniversity of Bath
fscd-201715:30 - 16:00
Talk
Pablo BarenbaumUniversity of Buenos Aires, Argentina / IRIF, France / University of Paris Diderot, France, Eduardo BonelliCONICET, Argentina / Universidad Nacional de Quilmes, Argentina

Wed 6 Sep
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

fscd-2017
09:00 - 10:00: FSCD 2017 - Session 10 at L2
fscd-201709:00 - 10:00
Talk
fscd-2017
10:30 - 12:00: FSCD 2017 - Session 11 at L2
fscd-201710:30 - 11:00
Talk
fscd-201711:00 - 11:30
Talk
Marcelo FioreComputer Laboratory, University of Cambridge, Philip Saville
fscd-201711:30 - 12:00
Talk
fscd-2017
13:00 - 14:30: FSCD 2017 - Session 12 at L2
fscd-201713:00 - 13:30
Talk
fscd-201713:30 - 14:00
Talk
fscd-201714:00 - 14:30
Talk
Andrew PittsUniversity of Cambridge, Ian Orton
fscd-2017
15:00 - 16:00: FSCD 2017 - Session 13 at L2
fscd-201715:00 - 15:30
Talk
Patrick BahrIT University of Copenhagen
fscd-201715:30 - 16:00
Talk
fscd-2017
16:40 - 17:10: FSCD 2017 - Session 14 at L2
fscd-201716:40 - 17:10
Talk
fscd-2017
17:10 - 17:20: FSCD 2017 - Termination and Complexity Competition 2017 at L2
fscd-201717:10 - 17:20
Other
fscd-2017
17:20 - 18:10: FSCD 2017 - FSCD General Meeting at L2
fscd-201717:20 - 18:10
Meeting

Thu 7 Sep
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

fscd-2017
09:00 - 10:00: FSCD 2017 - Session 15 at L2
fscd-201709:00 - 10:00
Talk
Marco GaboardiUniversity at Buffalo, SUNY, USA
fscd-2017
10:30 - 11:59: FSCD 2017 - Session 16 at L2
fscd-201710:30 - 11:00
Talk
Benjamin Lichtman, Jan HoffmannCarnegie Mellon University
fscd-201711:00 - 11:30
Talk
Andrej DudenhefnerTechnical University Dortmund, Jakob RehofTechnical University Dortmund
fscd-201711:30 - 11:59
Talk
Delia KesnerIRIF, France / University of Paris Diderot, France, Pierre Vial

Mon 4 Sep
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
L2

Tue 5 Sep
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
L2

Wed 6 Sep
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

Thu 7 Sep
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

Room9:003010:003011:0030
L2

Thu 7 Sep
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)