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
11:00 - 12:00: TutorialFest - Programming and Reasoning with Infinite Data in Isabelle at Hershey
POPL-2018-TutorialFest151540560000011:00 - 12:00
Talk
Media Attached
POPL-2018-TutorialFest
14:00 - 15:30: TutorialFest - Introduction to Algebraic Program analysis at Hershey
POPL-2018-TutorialFest151541640000014:00 - 15:30
Talk
Media Attached
POPL-2018-TutorialFest
16:00 - 17:00: TutorialFest - Introduction to Algebraic Program analysis at Hershey
POPL-2018-TutorialFest151542360000016:00 - 17:00
Talk
Media Attached

Sat 13 Jan

prisc-2018
09:00 - 10:00: PriSC 2018 - Welcome and Invited Talk at Hershey
Chair(s): Cătălin Hriţcu
prisc-2018151583040000009:00 - 09:10
Talk
File Attached
prisc-2018151583100000009:10 - 10:00
Talk
File Attached

Sat 13 Jan 2018

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

PriSC 2018

Session 1
10:30 - 11:30

PriSC 2018

Session 2
13:30 - 15:30

PriSC 2018

Session 3
16:00 - 18:00