FSCD 2017
Mon 4 - Thu 7 September 2017 Oxford, United Kingdom
co-located with ICFP 2017
Filter
Dates
Rooms
Tracks
Badges
Your Program

Mon 4 Sep

fscd-2017
10:30 - 10:45: FSCD 2017 - Welcome at L2
fscd-2017150451380000010: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-2017150451470000010:45 - 11:45
Talk
Alexandra SilvaUniversity College London
fscd-2017
13:00 - 14:30: FSCD 2017 - Session 2 at L2
fscd-2017150452280000013:00 - 13:30
Talk
fscd-2017150452460000013:30 - 14:00
Talk
fscd-2017150452640000014:00 - 14:30
Talk
Ryota Suzuki, Koichi Fujima, Naoki KobayashiUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan
fscd-2017
15:00 - 16:00: FSCD 2017 - Session 3 at L2
fscd-2017150453000000015:00 - 15:30
Talk
Jonas Kaiser, Brigitte PientkaMcGill University, Gert SmolkaSaarland University
fscd-2017150453180000015:30 - 16:00
Talk
Jasmin BlanchetteVrije Universiteit Amsterdam, Mathias FleuryMPI-INF, Dmitriy TraytelETH Zurich
fscd-2017
16:40 - 18:10: FSCD 2017 - Session 4 at L2
fscd-2017150453600000016:40 - 17:10
Talk
fscd-2017150453780000017:10 - 17:40
Talk
Noam ZeilbergerUniversity of Birmingham, UK
fscd-2017150453960000017:40 - 18:10
Talk

Tue 5 Sep

fscd-2017
10:30 - 11:30: FSCD 2017 - Session 5 at L2
fscd-2017150460020000010:30 - 11:30
Talk
Georg MoserUniversity of Innsbruck
fscd-2017
11:30 - 12:00: FSCD 2017 - Session 6 at L2
fscd-2017150460380000011: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-2017150461640000015:00 - 15:30
Talk
Stefano Guerrini, Marco SolieriUniversity of Bath
fscd-2017150461820000015: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

fscd-2017
09:00 - 10:00: FSCD 2017 - Session 10 at L2
fscd-2017150468120000009:00 - 10:00
Talk
fscd-2017
10:30 - 12:00: FSCD 2017 - Session 11 at L2
fscd-2017150468660000010:30 - 11:00
Talk
fscd-2017150468840000011:00 - 11:30
Talk
Marcelo FioreComputer Laboratory, University of Cambridge, Philip Saville
fscd-2017150469020000011:30 - 12:00
Talk
fscd-2017
13:00 - 14:30: FSCD 2017 - Session 12 at L2
fscd-2017150469560000013:00 - 13:30
Talk
fscd-2017150469740000013:30 - 14:00
Talk
fscd-2017150469920000014:00 - 14:30
Talk
Andrew PittsUniversity of Cambridge, Ian Orton
fscd-2017
15:00 - 16:00: FSCD 2017 - Session 13 at L2
fscd-2017150470280000015:00 - 15:30
Talk
Patrick BahrIT University of Copenhagen
fscd-2017150470460000015:30 - 16:00
Talk
fscd-2017
16:40 - 17:10: FSCD 2017 - Session 14 at L2
fscd-2017150470880000016:40 - 17:10
Talk
fscd-2017
17:10 - 17:20: FSCD 2017 - Termination and Complexity Competition 2017 at L2
fscd-2017150471060000017:10 - 17:20
Other
fscd-2017
17:20 - 18:10: FSCD 2017 - FSCD General Meeting at L2
fscd-2017150471120000017:20 - 18:10
Meeting

Thu 7 Sep

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

Mon 4 Sep 2017

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
L2
10:30 - 10:45
10:45 - 11:45
13:00 - 14:30
15:00 - 16:00
16:40 - 18:10

Tue 5 Sep 2017

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
L2
10:30 - 11:30
11:30 - 12:00
13:00 - 14:30
15:00 - 16:00
16:40 - 18:10

Wed 6 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
L2
09:00 - 10:00
10:30 - 12:00
13:00 - 14:30
15:00 - 16:00
16:40 - 17:10

Thu 7 Sep 2017

Room9:003010:003011:0030
L2
09:00 - 10:00
10:30 - 11:59
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)