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-TutorialFest151539840000009:00 - 10:30
Talk
Media Attached

Tue 9 Jan

netpl-2018
09:00 - 10:00: NetPL 2018 - Morning Session 1 at Hershey
netpl-2018151548480000009:00 - 09:30
Talk
netpl-2018151548660000009:30 - 10:00
Talk
netpl-2018
10:30 - 12:00: NetPL 2018 - Morning Session 2 at Hershey
netpl-2018151549020000010:30 - 11:00
Talk
netpl-2018151549200000011:00 - 12:00
Other
netpl-2018
13:30 - 15:30: NetPL 2018 - Afternoon Session 1 at Hershey
netpl-2018151550280000014:00 - 14:30
Other
netpl-2018151550460000014:30 - 15:00
Talk
netpl-2018151550640000015:00 - 15:30
Talk
netpl-2018
16:00 - 18:00: NetPL 2018 - Afternoon Session 2 at Hershey
netpl-2018151551000000016:00 - 16:30
Talk
netpl-2018151551180000016:30 - 17:00
Talk
netpl-2018151551360000017:00 - 17:30
Other
netpl-2018151551540000017:30 - 18:00
Day closing

Tue 9 Jan 2018

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