Write a Blog >>
CUFP 2017
Sun 3 - Sat 9 September 2017
Oxford, United Kingdom
co-located with
ICFP 2017
Toggle navigation
Attending
Venue: Mathematical Institute
Program
Complete 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
Track/Call
Organization
CUFP 2017 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
CUFP 2017
CUFP 2016
Sign in
Sign up
ICFP 2017
(
series
) /
CUFP 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 2017
at
L5
Chair(s):
Runhang Li
Twitter, Inc
09:00
60m
Other
Tutorial C2: Extensible Effects: understanding them, implementing them, using them
CUFP 2017
T:
Oleg Kiselyov
10:30 - 11:30
CUFP Tutorials C2
CUFP 2017
at
L5
10:30
60m
Talk
Tutorial C2: Extensible Effects: understanding them, implementing them, using them (part 2)
CUFP 2017
T:
Oleg Kiselyov
12:00 - 12:30
CUFP Tutorials C2
CUFP 2017
at
L5
12:00
30m
Talk
Tutorial C2: Extensible Effects: understanding them, implementing them, using them (part 3)
CUFP 2017
T:
Oleg Kiselyov
14:00 - 15:00
CUFP Tutorials C3
CUFP 2017
at
L5
Chair(s):
Runhang Li
Twitter, Inc
14:00
60m
Other
Tutorial C3: Concurrent Programming with Effect Handlers
CUFP 2017
T:
Daniel Hillerström
The University of Edinburgh
,
T:
KC Sivaramakrishnan
University of Cambridge
15:30 - 16:20
CUFP Tutorials C3
CUFP 2017
at
L5
15:30
50m
Talk
Tutorial C3: Concurrent Programming with Effect Handlers (part 2)
CUFP 2017
T:
Daniel Hillerström
,
T:
KC Sivaramakrishnan
University of Cambridge
16:50 - 17:30
CUFP Tutorials C3
CUFP 2017
at
L5
16:50
40m
Talk
Tutorial C3: Concurrent Programming with Effect Handlers (part 3)
CUFP 2017
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 2017
at
L5
Chair(s):
Runhang Li
Twitter, Inc
09:00
60m
Talk
Tutorial C6: Transducers in Practice
CUFP 2017
Renzo Borgatti
uSwitch
10:30 - 11:30
CUFP Tutorials C6
CUFP 2017
at
L5
10:30
60m
Talk
Tutorial C6: Transducers in Practice (part 2)
CUFP 2017
T:
Renzo Borgatti
uSwitch
12:00 - 12:30
CUFP Tutorials C6
CUFP 2017
at
L5
12:00
30m
Talk
Tutorial C6: Transducers in Practice (part 3)
CUFP 2017
T:
Renzo Borgatti
uSwitch
14:00 - 15:00
CUFP Tutorials C8
CUFP 2017
at
L5
Chair(s):
Runhang Li
Twitter, Inc
14:00
60m
Talk
Tutorial C8: GraphQL Servers in OCaml
CUFP 2017
T:
Andreas Garnæs
Zendesk
15:30 - 16:20
CUFP Tutorials C8
CUFP 2017
at
L5
15:30
50m
Talk
Tutorial C8: GraphQL Servers in OCaml (part 2)
CUFP 2017
T:
Andreas Garnæs
Zendesk
16:50 - 17:30
CUFP Tutorials C8
CUFP 2017
at
L5
16:50
40m
Talk
Tutorial C8: GraphQL Servers in OCaml (part 3)
CUFP 2017
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 2017
CUFP Tutorials C2
CUFP 2017
CUFP Tutorials C2
CUFP 2017
CUFP Tutorials C2
CUFP 2017
CUFP Tutorials C3
CUFP 2017
CUFP Tutorials C3
CUFP 2017
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 2017
CUFP Tutorials C6
CUFP 2017
CUFP Tutorials C6
CUFP 2017
CUFP Tutorials C6
CUFP 2017
CUFP Tutorials C8
CUFP 2017
CUFP Tutorials C8
CUFP 2017
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 12 Nov 22:08