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

Sun 3 Sep

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

Mon 4 Sep

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 Christian BlanchetteVrije Universiteit Amsterdam, Mathias FleuryMPI-INF, Dmitriy TraytelETH Zurich

Tue 5 Sep

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

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

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

Sat 9 Sep

cufp-2017-talks
09:10 - 10:00: CUFP 2017 - CUFP Talks 1 at L2
cufp-2017-talks09:10 - 09:35
Talk
Bodil StokkeChurch of Emacs
cufp-2017-talks09:35 - 10:00
Talk
cufp-2017-talks
10:30 - 11:20: CUFP 2017 - CUFP Talks 2 at L2
cufp-2017-talks10:30 - 10:55
Talk
Joris GiovannangeliAhrefs Research
cufp-2017-talks10:55 - 11:20
Talk
cufp-2017-talks
12:00 - 12:25: CUFP 2017 - CUFP Talks 3 at L2
cufp-2017-talks12:00 - 12:25
Talk
cufp-2017-talks
14:00 - 14:50: CUFP 2017 - CUFP Talks 4 at L2
cufp-2017-talks14:00 - 14:25
Talk
Simon MeierDigital Asset
cufp-2017-talks14:25 - 14:50
Talk
Ivan PerezUniversity of Nottingham, UK
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Talks 5 at L2
cufp-2017-talks15:30 - 15:55
Talk
cufp-2017-talks15:55 - 16:20
Talk
Nicholas CowleG-Research, Robin KayG-Research
cufp-2017-talks
16:50 - 17:40: CUFP 2017 - CUFP Talks 6 at L2
cufp-2017-talks16:50 - 17:15
Talk
Máté MarjaiTestingPays
cufp-2017-talks17:15 - 17:40
Talk

Sun 3 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
L2
09:00 - 09:05
09:05 - 10:00
10:30 - 11:30
14:00 - 15:00

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

Sat 9 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
L2
09:00 - 09:10
09:10 - 10:00
10:30 - 11:20
12:00 - 12:25
14:00 - 14:50
15:30 - 16:20
16:50 - 17:40