Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
VenueMathematical Institute
Room nameL5
Floor0
Capacity60
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: (GMT+01:00) Greenwich Mean Time : Belfast change

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 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 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 BlanchetteVrije Universiteit Amsterdam, Andreas Lochbihler, Andrei PopescuMiddlesex University, London, Dmitriy TraytelETH Zurich

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

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
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

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
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

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

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