Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Filter
Dates
Rooms
Tracks
Badges
Your Program

Thu 22 Aug

mlfamilyworkshop-2019-papers
09:00 - 10:00: ML 2019 - Session 1 at Pine
Chair(s): KC SivaramakrishnanIndian Institute of Technology, Madras
mlfamilyworkshop-2019-papers09:00 - 10:00
Talk
Grant PassmoreImandra Inc.
mlfamilyworkshop-2019-papers
10:30 - 12:00: ML 2019 - Session 2 at Pine
Chair(s): Andreas RossbergDfinity
mlfamilyworkshop-2019-papers10:30 - 10:55
Talk
Alban ReynaudENS Lyon, Gabriel SchererINRIA Saclay, Jeremy YallopUniversity of Cambridge, UK
Pre-print
mlfamilyworkshop-2019-papers10:55 - 11:20
Talk
Oleg Kiselyov, Jeremy YallopUniversity of Cambridge, UK
Pre-print
mlfamilyworkshop-2019-papers11:20 - 11:45
Talk
Frank EmrichThe University of Edinburgh, Sam LindleyThe University of Edinburgh and Imperial College London, Jan StolarekUniversity of Edinburgh, UK, James CheneyUniversity of Edinburgh, UK
mlfamilyworkshop-2019-papers
13:30 - 15:00: ML 2019 - Session 3 at Pine
mlfamilyworkshop-2019-papers13:30 - 13:55
Talk
Steven CheungUniversity of Birmingham, UK
File Attached
mlfamilyworkshop-2019-papers13:55 - 14:20
Talk
Jean-Baptiste JeanninUniversity of Michigan, USA
File Attached
mlfamilyworkshop-2019-papers14:20 - 14:45
Talk
Pre-print
mlfamilyworkshop-2019-papers
15:20 - 16:30: ML 2019 - Session 4 at Pine
Chair(s): Gabriel SchererINRIA Saclay
mlfamilyworkshop-2019-papers15:20 - 15:45
Talk
Robert AtkeyUniversity of Strathclyde, Ioan LucaUniversity of Strathclyde
File Attached
mlfamilyworkshop-2019-papers15:45 - 16:10
Talk
File Attached
mlfamilyworkshop-2019-papers
16:50 - 18:15: ML 2019 - Session 5 at Pine
mlfamilyworkshop-2019-papers16:50 - 17:15
Talk
John ReppyUniversity of Chicago, Mona ZahirUniversity of Chicago
File Attached
mlfamilyworkshop-2019-papers17:15 - 17:40
Talk
Tom RidgeUniversity of Leicester, UK
File Attached
mlfamilyworkshop-2019-papers17:40 - 18:05
Talk
Yutaka NagashimaData61, Australia
File Attached

Thu 22 Aug 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Pine
09:00 - 10:00
10:30 - 12:00
13:30 - 15:00
15:20 - 16:30
16:50 - 18:15
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)