Write a Blog >>
HOPE 2017
Sun 3 Sep 2017
Oxford, United Kingdom
co-located with
ICFP 2017
Toggle navigation
Attending
Venue: Mathematical Institute
Program
Complete Program
Your Program
Sun 3 Sep
Track/Call
Organization
HOPE 2017 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
HOPE 2024
HOPE 2023
HOPE 2022
HOPE 2021
HOPE 2020
HOPE 2018
HOPE 2017
HOPE 2016
Sign in
Sign up
ICFP 2017
(
series
) /
HOPE 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
ICFP Tutorials
at
L5
09:00
60m
Talk
Tutorial T1: Writing Verified Programs in CakeML
ICFP 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
ICFP Tutorials
at
L5
10:30
60m
Talk
Tutorial T1: Writing Verified Programs in CakeML (part 2)
ICFP 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
ICFP Tutorials
at
L5
12:00
30m
Talk
Tutorial T1: Writing Verified Programs in CakeML (part 3)
ICFP 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
ICFP Tutorials
at
L5
14:00
60m
Talk
Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL
ICFP 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
ICFP Tutorials
at
L5
15:30
50m
Talk
Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 2)
ICFP 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
ICFP Tutorials
at
L5
16:50
60m
Talk
Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 3)
ICFP 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
ICFP Tutorials
Morning tutorial session 1
ICFP Tutorials
Morning tutorial session 2
ICFP Tutorials
Morning tutorial session 3
ICFP Tutorials
Afternoon tutorial session 1
ICFP Tutorials
Afternoon tutorial session 2
ICFP 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
Tue 23 Apr 23:39