Write a Blog >>
HOPE 2017
Sun 3 Sep 2017 Oxford, United Kingdom
co-located with ICFP 2017
VenueMathematical Institute
Room nameL5
Floor0
Room number
Capacity60
Additional informationThere is no additional information of this room available.
Program

Sun 3 Sep

icfp-2017-tutorials
09:00 - 10:00: Tutorials - Morning tutorial session 1 at L5
icfp-2017-tutorials09:00 - 10:00
Talk
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden
icfp-2017-tutorials
10:30 - 11:30: Tutorials - Morning tutorial session 2 at L5
icfp-2017-tutorials10:30 - 11:30
Talk
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden
icfp-2017-tutorials
12:00 - 12:30: Tutorials - Morning tutorial session 3 at L5
icfp-2017-tutorials12:00 - 12:30
Talk
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden
icfp-2017-tutorials
14:00 - 15:00: Tutorials - Afternoon tutorial session 1 at L5
icfp-2017-tutorials14:00 - 15:00
Talk
Jasmin Christian BlanchetteVrije Universiteit Amsterdam, Andreas Lochbihler, Andrei PopescuMiddlesex University, London, Dmitriy TraytelETH Zurich
icfp-2017-tutorials
15:30 - 16:20: Tutorials - Afternoon tutorial session 2 at L5
icfp-2017-tutorials15:30 - 16:20
Talk
Jasmin Christian BlanchetteVrije Universiteit Amsterdam, Andreas Lochbihler, Andrei PopescuMiddlesex University, London, Dmitriy TraytelETH Zurich
icfp-2017-tutorials
16:50 - 17:50: Tutorials - Afternoon tutorial session 3 at L5
icfp-2017-tutorials16:50 - 17:50
Talk
Jasmin Christian BlanchetteVrije Universiteit Amsterdam, Andreas Lochbihler, Andrei PopescuMiddlesex University, London, Dmitriy TraytelETH Zurich

Thu 7 Sep

cufp-2017-talks
09:00 - 10:00: CUFP 2017 - CUFP Tutorials C2 at L5
Chair(s): Runhang LiTwitter, Inc
cufp-2017-talks09:00 - 10:00
Other
cufp-2017-talks
10:30 - 11:30: CUFP 2017 - CUFP Tutorials C2 at L5
cufp-2017-talks10:30 - 11:30
Talk
cufp-2017-talks
12:00 - 12:30: CUFP 2017 - CUFP Tutorials C2 at L5
cufp-2017-talks12:00 - 12:30
Talk
cufp-2017-talks
14:00 - 15:00: CUFP 2017 - CUFP Tutorials C3 at L5
Chair(s): Runhang LiTwitter, Inc
cufp-2017-talks14:00 - 15:00
Other
Daniel HillerströmThe University of Edinburgh, KC SivaramakrishnanUniversity of Cambridge
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Tutorials C3 at L5
cufp-2017-talks15:30 - 16:20
Talk
cufp-2017-talks
16:50 - 17:30: CUFP 2017 - CUFP Tutorials C3 at L5
cufp-2017-talks16:50 - 17:30
Talk
Daniel HillerströmThe University of Edinburgh, KC SivaramakrishnanUniversity of Cambridge

Fri 8 Sep

cufp-2017-talks
09:00 - 10:00: CUFP 2017 - CUFP Tutorials C6 at L5
Chair(s): Runhang LiTwitter, Inc
cufp-2017-talks09:00 - 10:00
Talk
cufp-2017-talks
10:30 - 11:30: CUFP 2017 - CUFP Tutorials C6 at L5
cufp-2017-talks10:30 - 11:30
Talk
cufp-2017-talks
12:00 - 12:30: CUFP 2017 - CUFP Tutorials C6 at L5
cufp-2017-talks12:00 - 12:30
Talk
cufp-2017-talks
14:00 - 15:00: CUFP 2017 - CUFP Tutorials C8 at L5
Chair(s): Runhang LiTwitter, Inc
cufp-2017-talks14:00 - 15:00
Talk
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Tutorials C8 at L5
cufp-2017-talks15:30 - 16:20
Talk
cufp-2017-talks
16:50 - 17:30: CUFP 2017 - CUFP Tutorials C8 at L5
cufp-2017-talks16:50 - 17:30
Talk

Thu 7 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
L5

Fri 8 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
L5

Fri 8 Sep 2017