Write a Blog >>
VenueJW Marriott New Orleans
Room nameOrpheus
Floor8
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 21 Jan

Displayed time zone: Saskatchewan, Central America change

09:00 - 10:00
Opening & Interactive Knowledge SharesHASE at Orpheus
09:00
10m
Day opening
Opening Plenary
HASE

09:10
60m
Tutorial
Interactive Knowledge Shares
HASE
Peter O'Hearn Facebook, Philippa Gardner Imperial College London, Muralidaran Vijayaraghavan SiFive, Peter Sewell University of Cambridge
10:30 - 12:30
Working Sessions IHASE at Orpheus
10:30
2h
Meeting
Working Sessions I
HASE
Ben Laurie Google Research, Hong-Seok Kim , Jonathan Protzenko Microsoft Research, Redmond
14:00 - 15:05
Peer SkillshareHASE at Orpheus
13:30
45m
Tutorial
Peer Skillshare
HASE
Sarah de Haas Google Research
15:35 - 17:45
Afternoon SessionHASE at Orpheus
14:30
2h
Meeting
Working Sessions II
HASE
Ben Laurie Google Research, Satnam Singh Google Research
16:30
75m
Day closing
Closing Plenary
HASE

Tue 21 Jan

Displayed time zone: Saskatchewan, Central America change

Tue 21 Jan

Displayed time zone: Saskatchewan, Central America change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Orpheus
HASE
Opening Plenary
09:00 - 09:10
HASE
Peer Skillshare
13:30 - 14:15
HASE
Closing Plenary
16:30 - 17:45