Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017
Oxford, United Kingdom
Toggle navigation
Attending
Venue: Mathematical Institute
Accommodation
Registration
Travel to Oxford
Practical Information
Student Volunteers
Student Travel Support
Code of Conduct
Call for Sponsorship
Visa Support Letter
Program
ICFP Program
Your Program
Filter by Day
Sun 3 Sep
Mon 4 Sep
Tue 5 Sep
Wed 6 Sep
Thu 7 Sep
Fri 8 Sep
Sat 9 Sep
Tracks
ICFP 2017
Keynotes and Reports
Tutorials
Workshops
Research Papers
Research Artifacts
Student Research Competition
Social Events
Co-hosted Conferences
CUFP
FSCD
Workshops
Erlang
FARM
FHPC
HIW
HOPE
ML
OCaml
PLMW
Scheme
TyDe
Co-hosted Symposia
Haskell
Organization
ICFP 2017 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Research Artifacts
Student Research Competition
Contributors
People Index
Co-hosted Conferences
CUFP
Organizing Committee
Program Committee
FSCD
N/A - check homepage
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPC
Organizing Committee
Program Committee
HIW
Program Committee
HOPE
Organizing Committee
Program Committee
ML
Organizing Committee
Program Committee
OCaml
Organizing Committee
Program Committee
PLMW
Organizing Committee
Scheme
Program Committee
Steering Committee
TyDe
Organizing Committee
Program Committee
Co-hosted Symposia
Haskell
Program Committee
Search
Series
Series
ICFP 2025
ICFP 2024
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2017
(
series
) /
Mathematical Institute
/
Room information: L5
Venue
Mathematical Institute
Room name
L5
Floor
0
Capacity
60
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Belfast
.
Use conference time zone: (GMT+01:00) Belfast
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sun 3 Sep
Displayed time zone:
Belfast
change
09:00 - 10:00
Morning tutorial session 1
Tutorials
at
L5
09:00
60m
Talk
Tutorial T1: Writing Verified Programs in CakeML
Tutorials
P:
Ramana Kumar
Data61 at CSIRO, Australia / UNSW, Australia
,
P:
Michael Norrish
Data61 at CSIRO, Australia / Australian National University, Australia
,
P:
Scott Owens
University of Kent, UK
,
P:
Magnus O. Myreen
Chalmers University of Technology, Sweden
10:30 - 11:30
Morning tutorial session 2
Tutorials
at
L5
10:30
60m
Talk
Tutorial T1: Writing Verified Programs in CakeML (part 2)
Tutorials
P:
Ramana Kumar
Data61 at CSIRO, Australia / UNSW, Australia
,
P:
Michael Norrish
Data61 at CSIRO, Australia / Australian National University, Australia
,
P:
Scott Owens
University of Kent, UK
,
P:
Magnus O. Myreen
Chalmers University of Technology, Sweden
12:00 - 12:30
Morning tutorial session 3
Tutorials
at
L5
12:00
30m
Talk
Tutorial T1: Writing Verified Programs in CakeML (part 3)
Tutorials
P:
Ramana Kumar
Data61 at CSIRO, Australia / UNSW, Australia
,
P:
Michael Norrish
Data61 at CSIRO, Australia / Australian National University, Australia
,
P:
Scott Owens
University of Kent, UK
,
P:
Magnus O. Myreen
Chalmers University of Technology, Sweden
14:00 - 15:00
Afternoon tutorial session 1
Tutorials
at
L5
14:00
60m
Talk
Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL
Tutorials
P:
Jasmin Blanchette
Vrije Universiteit Amsterdam
,
P:
Andreas Lochbihler
,
P:
Andrei Popescu
Middlesex University, London
,
P:
Dmitriy Traytel
ETH Zurich
15:30 - 16:20
Afternoon tutorial session 2
Tutorials
at
L5
15:30
50m
Talk
Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 2)
Tutorials
Jasmin Blanchette
Vrije Universiteit Amsterdam
,
Andreas Lochbihler
,
Andrei Popescu
Middlesex University, London
,
Dmitriy Traytel
ETH Zurich
16:50 - 17:50
Afternoon tutorial session 3
Tutorials
at
L5
16:50
60m
Talk
Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 3)
Tutorials
P:
Jasmin Blanchette
Vrije Universiteit Amsterdam
,
P:
Andreas Lochbihler
,
P:
Andrei Popescu
Middlesex University, London
,
P:
Dmitriy Traytel
ETH Zurich
Thu 7 Sep
Displayed time zone:
Belfast
change
09:00 - 10:00
CUFP Tutorials C2
CUFP
at
L5
Chair(s):
Runhang Li
Twitter, Inc
09:00
60m
Other
Tutorial C2: Extensible Effects: understanding them, implementing them, using them
CUFP
T:
Oleg Kiselyov
10:30 - 11:30
CUFP Tutorials C2
CUFP
at
L5
10:30
60m
Talk
Tutorial C2: Extensible Effects: understanding them, implementing them, using them (part 2)
CUFP
T:
Oleg Kiselyov
12:00 - 12:30
CUFP Tutorials C2
CUFP
at
L5
12:00
30m
Talk
Tutorial C2: Extensible Effects: understanding them, implementing them, using them (part 3)
CUFP
T:
Oleg Kiselyov
14:00 - 15:00
CUFP Tutorials C3
CUFP
at
L5
Chair(s):
Runhang Li
Twitter, Inc
14:00
60m
Other
Tutorial C3: Concurrent Programming with Effect Handlers
CUFP
T:
Daniel Hillerström
The University of Edinburgh
,
T:
KC Sivaramakrishnan
University of Cambridge
15:30 - 16:20
CUFP Tutorials C3
CUFP
at
L5
15:30
50m
Talk
Tutorial C3: Concurrent Programming with Effect Handlers (part 2)
CUFP
T:
Daniel Hillerström
,
T:
KC Sivaramakrishnan
University of Cambridge
16:50 - 17:30
CUFP Tutorials C3
CUFP
at
L5
16:50
40m
Talk
Tutorial C3: Concurrent Programming with Effect Handlers (part 3)
CUFP
T:
Daniel Hillerström
The University of Edinburgh
,
T:
KC Sivaramakrishnan
University of Cambridge
Fri 8 Sep
Displayed time zone:
Belfast
change
09:00 - 10:00
CUFP Tutorials C6
CUFP
at
L5
Chair(s):
Runhang Li
Twitter, Inc
09:00
60m
Talk
Tutorial C6: Transducers in Practice
CUFP
Renzo Borgatti
uSwitch
10:30 - 11:30
CUFP Tutorials C6
CUFP
at
L5
10:30
60m
Talk
Tutorial C6: Transducers in Practice (part 2)
CUFP
T:
Renzo Borgatti
uSwitch
12:00 - 12:30
CUFP Tutorials C6
CUFP
at
L5
12:00
30m
Talk
Tutorial C6: Transducers in Practice (part 3)
CUFP
T:
Renzo Borgatti
uSwitch
14:00 - 15:00
CUFP Tutorials C8
CUFP
at
L5
Chair(s):
Runhang Li
Twitter, Inc
14:00
60m
Talk
Tutorial C8: GraphQL Servers in OCaml
CUFP
T:
Andreas Garnæs
Zendesk
15:30 - 16:20
CUFP Tutorials C8
CUFP
at
L5
15:30
50m
Talk
Tutorial C8: GraphQL Servers in OCaml (part 2)
CUFP
T:
Andreas Garnæs
Zendesk
16:50 - 17:30
CUFP Tutorials C8
CUFP
at
L5
16:50
40m
Talk
Tutorial C8: GraphQL Servers in OCaml (part 3)
CUFP
T:
Andreas Garnæs
Zendesk
Sun 3 Sep
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
L5
Tutorials
Morning tutorial session 1
Tutorials
Morning tutorial session 2
Tutorials
Morning tutorial session 3
Tutorials
Afternoon tutorial session 1
Tutorials
Afternoon tutorial session 2
Tutorials
Afternoon tutorial session 3
Thu 7 Sep
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
L5
CUFP
CUFP Tutorials C2
CUFP
CUFP Tutorials C2
CUFP
CUFP Tutorials C2
CUFP
CUFP Tutorials C3
CUFP
CUFP Tutorials C3
CUFP
CUFP Tutorials C3
Fri 8 Sep
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
L5
CUFP
CUFP Tutorials C6
CUFP
CUFP Tutorials C6
CUFP
CUFP Tutorials C6
CUFP
CUFP Tutorials C8
CUFP
CUFP Tutorials C8
CUFP
CUFP Tutorials C8
Sun 3 Sep
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
L5
ICFP Tutorials
Tutorial T1: Writing Verified Programs in CakeML
09:00 - 10:00
ICFP Tutorials
Tutorial T1: Writing Verified Programs in CakeML (part 2)
10:30 - 11:30
ICFP Tutorials
Tutorial T1: Writing Verified Programs in CakeML (part 3)
12:00 - 12:30
ICFP Tutorials
Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL
14:00 - 15:00
ICFP Tutorials
Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (pa ...
15:30 - 16:20
ICFP Tutorials
Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (pa ...
16:50 - 17:50
Thu 7 Sep
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
L5
CUFP
Tutorial C2: Extensible Effects: understanding them, implementing them, ...
09:00 - 10:00
CUFP
Tutorial C2: Extensible Effects: understanding them, implementing them, ...
10:30 - 11:30
CUFP
Tutorial C2: Extensible Effects: understanding them, implementing them, ...
12:00 - 12:30
CUFP
Tutorial C3: Concurrent Programming with Effect Handlers
14:00 - 15:00
CUFP
Tutorial C3: Concurrent Programming with Effect Handlers (part 2)
15:30 - 16:20
CUFP
Tutorial C3: Concurrent Programming with Effect Handlers (part 3)
16:50 - 17:30
Fri 8 Sep
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
L5
CUFP
Tutorial C6: Transducers in Practice
09:00 - 10:00
CUFP
Tutorial C6: Transducers in Practice (part 2)
10:30 - 11:30
CUFP
Tutorial C6: Transducers in Practice (part 3)
12:00 - 12:30
CUFP
Tutorial C8: GraphQL Servers in OCaml
14:00 - 15:00
CUFP
Tutorial C8: GraphQL Servers in OCaml (part 2)
15:30 - 16:20
CUFP
Tutorial C8: GraphQL Servers in OCaml (part 3)
16:50 - 17:30
x
Sat 21 Dec 13:55