Write a Blog >>
PADL 2020
Mon 20 - Tue 21 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
VenueJW Marriott New Orleans
Room nameOrpheus
Floor8
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Tue 21 Jan

hase-2020-papers
09:00 - 10:00: HASE 2020 - Opening & Interactive Knowledge Shares at Orpheus
hase-2020-papers09:00 - 09:10
Day opening
hase-2020-papers09:10 - 10:10
Tutorial
Peter O'HearnFacebook, Philippa GardnerImperial College London, Muralidaran VijayaraghavanSiFive, Peter SewellUniversity of Cambridge
hase-2020-papers
10:30 - 12:30: HASE 2020 - Working Sessions I at Orpheus
hase-2020-papers10:30 - 12:30
Meeting
Ben LaurieGoogle Research, Hong-Seok Kim, Jonathan ProtzenkoMicrosoft Research, Redmond
hase-2020-papers
14:00 - 15:05: HASE 2020 - Peer Skillshare at Orpheus
hase-2020-papers13:30 - 14:15
Tutorial
Sarah de HaasGoogle Research
hase-2020-papers
15:35 - 17:45: HASE 2020 - Afternoon Session at Orpheus
hase-2020-papers14:30 - 16:30
Meeting
Ben LaurieGoogle Research, Satnam SinghGoogle Research
hase-2020-papers16:30 - 17:45
Day closing

Tue 21 Jan 2020

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Orpheus
14:00 - 15:05

Tue 21 Jan 2020

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Orpheus
09:00 - 09:10
13:30 - 14:15
16:30 - 17:45