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: L6
Venue
Mathematical Institute
Room name
L6
Floor
0
Capacity
40
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
Thu 7 Sep
Displayed time zone:
Belfast
change
09:00 - 10:00
CUFP Tutorials C1
CUFP 2017
at
L6
Chair(s):
Runhang Li
Twitter, Inc
09:00
60m
Other
Tutorial C1: Online Applications with Incremental
CUFP 2017
T:
Yaron Minsky
,
T:
Sebastian Funk
Jane Street
10:30 - 11:30
CUFP Tutorials C1
CUFP 2017
at
L6
10:30
60m
Talk
Tutorial C1: Online Applications with Incremental (part 2)
CUFP 2017
T:
Yaron Minsky
,
T:
Sebastian Funk
Jane Street
12:00 - 12:30
CUFP Tutorials C1
CUFP 2017
at
L6
12:00
30m
Talk
Tutorial C1: Online Applications with Incremental (part 3)
CUFP 2017
T:
Yaron Minsky
,
T:
Sebastian Funk
Jane Street
14:00 - 15:00
CUFP Tutorials C4
CUFP 2017
at
L6
Chair(s):
Runhang Li
Twitter, Inc
14:00
60m
Talk
Tutorial C4: Git under the hood with OCaml
CUFP 2017
T:
Romain Calascibetta
15:30 - 16:20
CUFP Tutorials C4
CUFP 2017
at
L6
15:30
50m
Talk
Tutorial C4: Git under the hood with OCaml (part 2)
CUFP 2017
T:
Romain Calascibetta
16:50 - 17:30
CUFP Tutorials C4
CUFP 2017
at
L6
16:50
40m
Talk
Tutorial C4: Git under the hood with OCaml (part 3)
CUFP 2017
T:
Romain Calascibetta
Fri 8 Sep
Displayed time zone:
Belfast
change
09:00 - 10:00
CUFP Tutorials C5
CUFP 2017
at
L6
Chair(s):
Runhang Li
Twitter, Inc
09:00
60m
Talk
Tutorial C5: Teaching Functional Programming
CUFP 2017
Michael Sperber
Active Group GmbH
10:30 - 11:30
CUFP Tutorials C5
CUFP 2017
at
L6
10:30
60m
Talk
Tutorial C5: Teaching Functional Programming (part 2)
CUFP 2017
T:
Michael Sperber
Active Group GmbH
12:00 - 12:30
CUFP Tutorials C5
CUFP 2017
at
L6
12:00
30m
Talk
Tutorial C5: Teaching Functional Programming (part 3)
CUFP 2017
T:
Michael Sperber
Active Group GmbH
14:00 - 15:00
CUFP Tutorials C7
CUFP 2017
at
L6
Chair(s):
Runhang Li
Twitter, Inc
14:00
60m
Talk
Tutorial C7: Owl - Data Science in OCaml
CUFP 2017
T:
Liang Wang
University of Cambridge
15:30 - 16:20
CUFP Tutorials C7
CUFP 2017
at
L6
15:30
50m
Talk
Tutorial C7: Owl - Data Science in OCaml (part 2)
CUFP 2017
T:
Liang Wang
University of Cambridge
16:50 - 17:30
CUFP Tutorials C7
CUFP 2017
at
L6
16:50
40m
Talk
Tutorial C7: Owl - Data Science in OCaml (part 3)
CUFP 2017
T:
Liang Wang
University of Cambridge
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
L6
CUFP 2017
CUFP Tutorials C1
CUFP 2017
CUFP Tutorials C1
CUFP 2017
CUFP Tutorials C1
CUFP 2017
CUFP Tutorials C4
CUFP 2017
CUFP Tutorials C4
CUFP 2017
CUFP Tutorials C4
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
L6
CUFP 2017
CUFP Tutorials C5
CUFP 2017
CUFP Tutorials C5
CUFP 2017
CUFP Tutorials C5
CUFP 2017
CUFP Tutorials C7
CUFP 2017
CUFP Tutorials C7
CUFP 2017
CUFP Tutorials C7
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
L6
CUFP
Tutorial C1: Online Applications with Incremental
09:00 - 10:00
CUFP
Tutorial C1: Online Applications with Incremental (part 2)
10:30 - 11:30
CUFP
Tutorial C1: Online Applications with Incremental (part 3)
12:00 - 12:30
CUFP
Tutorial C4: Git under the hood with OCaml
14:00 - 15:00
CUFP
Tutorial C4: Git under the hood with OCaml (part 2)
15:30 - 16:20
CUFP
Tutorial C4: Git under the hood with OCaml (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
L6
CUFP
Tutorial C5: Teaching Functional Programming
09:00 - 10:00
CUFP
Tutorial C5: Teaching Functional Programming (part 2)
10:30 - 11:30
CUFP
Tutorial C5: Teaching Functional Programming (part 3)
12:00 - 12:30
CUFP
Tutorial C7: Owl - Data Science in OCaml
14:00 - 15:00
CUFP
Tutorial C7: Owl - Data Science in OCaml (part 2)
15:30 - 16:20
CUFP
Tutorial C7: Owl - Data Science in OCaml (part 3)
16:50 - 17:30
x
Sat 9 Nov 00:04