Blogs (28) >>
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
François PottierInria, France, Aleksandar NanevskiIMDEA Software Institute
hope-2017-talks
09:10 - 10:00: HOPE 2017 - Invited talk at L3
hope-2017-talks150442260000009:10 - 10:10
Talk
Shin-ya KatsumataNational Institute of Informatics
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
Ohad KammarUniversity of Oxford, UK, Dylan McDermottUniversity of Cambridge
File Attached
hope-2017-talks
12:00 - 12:30: HOPE 2017 - Rust at L3
hope-2017-talks150443280000012:00 - 12:30
Talk
Ralf JungMPI-SWS, Germany, Jacques-Henri JourdanMPI-SWS, Germany, Robbert KrebbersDelft University of Technology, Netherlands, Derek DreyerMPI-SWS
hope-2017-talks
14:00 - 15:00: HOPE 2017 - Effects and Dependent Types at L3
hope-2017-talks150444000000014:00 - 14:30
Talk
Danel AhmanUniversity of Edinburgh
hope-2017-talks150444180000014:30 - 15:00
Talk
Youyou CongOchanomizu University, William J. BowmanNortheastern University
hope-2017-talks
15:30 - 16:30: HOPE 2017 - Effects at L3
hope-2017-talks150444540000015:30 - 16:00
Talk
Daan LeijenMicrosoft Research
hope-2017-talks150444720000016:00 - 16:30
Talk
Dariusz BiernackiUniversity of Wrocław, Maciej PirógUniversity of Wrocław, Piotr Polesiuk, Filip SieczkowskiUniversity of Wrocław
hope-2017-talks
16:50 - 17:40: HOPE 2017 - Monotonicity at L3
hope-2017-talks150445020000016:50 - 17:20
Talk
Danel AhmanUniversity of Edinburgh, Cătălin HriţcuInria Paris, Kenji MaillardInria Paris, ENS Paris, and Microsoft Research, Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research, n.n., Cédric FournetMicrosoft Research, n.n.
Pre-print

Sun 3 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
L3
09:00 - 09:10
09:10 - 10:00
12:00 - 12:30
15:30 - 16:30
16:50 - 17:40
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)