VenueOmni Hotel
Room nameHershey
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 8 Jan

POPL-2018-TutorialFest
09:00 - 10:30: TutorialFest - Programming and Reasoning with Infinite Data in Isabelle at Hershey
POPL-2018-TutorialFest09:00 - 10:30
Talk
Mathias FleuryMPI-INF, Andreas Lochbihler, Andrei PopescuMiddlesex University, London
Media Attached

Tue 9 Jan

netpl-2018
09:00 - 10:00: NetPL 2018 - Morning Session 1 at Hershey
netpl-201809:00 - 09:30
Talk
netpl-201809:30 - 10:00
Talk
netpl-2018
10:30 - 12:00: NetPL 2018 - Morning Session 2 at Hershey
netpl-201810:30 - 11:00
Talk
Andrey RybalchenkoMicrosoft Research
netpl-201811:00 - 12:00
Other
netpl-2018
13:30 - 15:30: NetPL 2018 - Afternoon Session 1 at Hershey
netpl-201814:00 - 14:30
Other
netpl-201814:30 - 15:00
Talk
Sharon ShohamTel Aviv university
netpl-201815:00 - 15:30
Talk
Peyman KazemianForward Networks
netpl-2018
16:00 - 18:00: NetPL 2018 - Afternoon Session 2 at Hershey
netpl-201816:00 - 16:30
Talk
Calin CascavalBarefoot Networks
netpl-201816:30 - 17:00
Talk
netpl-201817:00 - 17:30
Other
Nate FosterCornell University, David WalkerPrinceton University, Barath RaghavanICSI, Jonathan SmithDARPA
netpl-201817:30 - 18:00
Day closing
Marco CaniniKAUST, Nate FosterCornell University, Todd MillsteinUniversity of California, Los Angeles

Tue 9 Jan 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Hershey