Blogs (27) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 3 Sep

hope-2017-talks
09:00 - 09:10: HOPE 2017 - Welcome at L3
hope-2017-talks150442200000009:00 - 09:10
Day opening
hope-2017-talks
09:10 - 10:00: HOPE 2017 - Invited talk at L3
hope-2017-talks150442260000009:10 - 10:10
Talk
hope-2017-talks
10:30 - 11:30: HOPE 2017 - Modular Semantics at L3
hope-2017-talks150442740000010:30 - 11:00
Talk
File Attached
hope-2017-talks150442920000011:00 - 11:30
Talk
File Attached
hope-2017-talks
12:00 - 12:30: HOPE 2017 - Rust at L3
hope-2017-talks150443280000012:00 - 12:30
Talk
hope-2017-talks
14:00 - 15:00: HOPE 2017 - Effects and Dependent Types at L3
hope-2017-talks150444000000014:00 - 14:30
Talk
hope-2017-talks150444180000014:30 - 15:00
Talk
hope-2017-talks
15:30 - 16:30: HOPE 2017 - Effects at L3
hope-2017-talks150444540000015:30 - 16:00
Talk
hope-2017-talks150444720000016:00 - 16:30
Talk
hope-2017-talks
16:50 - 17:40: HOPE 2017 - Monotonicity at L3
hope-2017-talks150445020000016:50 - 17:20
Talk
Pre-print

Sun 3 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
L3

HOPE 2017

Welcome
09:00 - 09:10

HOPE 2017

Rust
12:00 - 12:30

HOPE 2017

Effects
15:30 - 16:30
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)