FSCD 2017
Mon 4 - Thu 7 September 2017 Oxford, United Kingdom
co-located with ICFP 2017
VenueMathematical Institute
Room nameL2
Floor0
Capacity210
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 3 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 09:05: WelcomeTyDe at L2
09:00 - 09:05
Day opening
TyDe
Sam LindleyUniversity of Edinburgh, UK, Brent YorgeyHendrix College
09:05 - 10:00: Invited talkTyDe at L2
09:05 - 10:00
Talk
TyDe
Andrew KennedyFacebook London
10:30 - 11:30: Full papers 1TyDe at L2
10:30 - 11:00
Talk
TyDe
Marcell van GeestUtrecht University, Wouter SwierstraUniversity of Utrecht
11:00 - 11:30
Talk
TyDe
Daan LeijenMicrosoft Research
12:00 - 12:25: Extended abstracts 1TyDe at L2
12:00 - 12:25
Talk
TyDe
Zilin ChenUNSW, Australia
14:00 - 15:00: Full papers 2TyDe at L2
14:00 - 14:30
Talk
TyDe
Ting-Yan LaiInstitute of Information Science, Academia Sinica, Tyng-Ruey ChuangInstitute of Information Science, Academia Sinica, Shin-Cheng MuAcademia Sinica, Taiwan
14:30 - 15:00
Talk
TyDe
Victor Cacciari MiraldoUniversity of Utrecht, Pierre-Evariste DagandLIP6/CNRS , Wouter SwierstraUniversity of Utrecht
15:30 - 16:20: Extended abstracts 2TyDe at L2
15:30 - 15:55
Talk
TyDe
Kiko Fernandez-ReyesUppsala University, Dave ClarkeUppsala Univ. Sweden and KU Leuvern
15:55 - 16:20
Talk
TyDe
James McKinnaUniversity of Edinburgh
16:50 - 17:40: Extended abstracts 3TyDe at L2
16:50 - 17:15
Talk
TyDe
17:15 - 17:40
Talk
TyDe
Edwin BradyUniversity of St. Andrews, UK, Kevin HammondUniversity of St. Andrews, UK, Christopher SchwaabUniversity of St Andrews

Mon 4 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

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

Tue 5 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

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

Wed 6 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:00: Session 10FSCD 2017 at L2
09:00 - 10:00
Talk
FSCD 2017
10:30 - 12:00: Session 11FSCD 2017 at L2
10:30 - 11:00
Talk
FSCD 2017
11:00 - 11:30
Talk
FSCD 2017
A: Marcelo FioreComputer Laboratory, University of Cambridge, A: Philip Saville
11:30 - 12:00
Talk
FSCD 2017
13:00 - 14:30: Session 12FSCD 2017 at L2
13:00 - 13:30
Talk
FSCD 2017
A: Dan LicataWesleyan University, A: Michael Shulman, A: Mitchell Riley
13:30 - 14:00
Talk
FSCD 2017
14:00 - 14:30
Talk
FSCD 2017
A: Andrew PittsUniversity of Cambridge, A: Ian Orton
15:00 - 16:00: Session 13FSCD 2017 at L2
15:00 - 15:30
Talk
FSCD 2017
A: Patrick BahrIT University of Copenhagen
15:30 - 16:00
Talk
FSCD 2017
16:40 - 17:10: Session 14FSCD 2017 at L2
16:40 - 17:10
Talk
FSCD 2017
17:10 - 17:20: Termination and Complexity Competition 2017FSCD 2017 at L2
17:10 - 17:20
Other
FSCD 2017
17:20 - 18:10: FSCD General MeetingFSCD 2017 at L2
17:20 - 18:10
Meeting
FSCD 2017

Thu 7 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

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

Sat 9 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:10 - 10:00: CUFP Talks 1CUFP at L2
09:10 - 09:35
Talk
CUFP
Bodil StokkeChurch of Emacs
09:35 - 10:00
Talk
CUFP
12:00 - 12:25: CUFP Talks 3CUFP at L2
12:00 - 12:25
Talk
CUFP
14:00 - 14:50: CUFP Talks 4CUFP at L2
14:00 - 14:25
Talk
CUFP
Simon MeierDigital Asset
14:25 - 14:50
Talk
CUFP
Ivan PerezUniversity of Nottingham, UK
15:30 - 16:20: CUFP Talks 5CUFP at L2
15:30 - 15:55
Talk
CUFP
15:55 - 16:20
Talk
CUFP
Nicholas CowleG-Research, Robin KayG-Research

Sun 3 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Mon 4 Sep
Times are displayed in time zone: 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: 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: Greenwich Mean Time : Belfast change

Thu 7 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Sat 9 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Thu 7 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change