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-TutorialFest11:00 - 12:00
Talk
Mathias FleuryMPI-INF, Andreas Lochbihler, Andrei PopescuMiddlesex University, London
Media Attached
POPL-2018-TutorialFest
14:00 - 15:30: TutorialFest - Introduction to Algebraic Program analysis at Hershey
POPL-2018-TutorialFest14:00 - 15:30
Talk
Zachary KincaidPrinceton University, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
Media Attached
POPL-2018-TutorialFest
16:00 - 17:00: TutorialFest - Introduction to Algebraic Program analysis at Hershey
POPL-2018-TutorialFest16:00 - 17:00
Talk
Zachary KincaidPrinceton University, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
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ţcuInria Paris
prisc-201809:00 - 09:10
Talk
File Attached
prisc-201809:10 - 10:00
Talk
Mathias PayerPurdue University
File Attached
prisc-2018
13:30 - 15:30: PriSC 2018 - Session 2 at Hershey
Chair(s): David NaumannStevens Institute of Technology
prisc-201813:30 - 14:00
Talk
File Attached
prisc-201814:00 - 14:30
Talk
Deepak GargMax Planck Institute for Software Systems, Cătălin HriţcuInria Paris, Marco PatrignaniSaarland University, CISPA, Marco Stronati, David SwaseyMPI-SWS
Pre-print File Attached
prisc-201814:30 - 15:00
Talk
Guglielmo FachiniInria Paris, Cătălin HriţcuInria Paris, Marco Stronati, Ana Nora EvansUniversity of Virginia, USA, Théo Laurent, Arthur Azevedo de AmorimCarnegie Mellon University, USA, Benjamin C. PierceUniversity of Pennsylvania, Andrew TolmachPortland State University
Pre-print File Attached
prisc-201815:00 - 15:30
Talk
File Attached
prisc-2018
16:00 - 18:00: PriSC 2018 - Session 3 at Hershey
Chair(s): Lars BirkedalAarhus University
prisc-201816:00 - 16:30
Talk
John RennerUCSD, Sunjay CauligiUCSD, Deian StefanUniversity of California, San Diego
Pre-print File Attached
prisc-201816:30 - 17:00
Talk
Robert SisonData61, CSIRO and UNSW
File Attached
prisc-201817:00 - 17:30
Talk
Daniel PattersonNortheastern University, Amal AhmedNortheastern University, USA
File Attached
prisc-201817:30 - 18:00
Talk
Pierre-Evariste DagandLIP6/CNRS , Nicolas TabareauInria, France, Éric TanterUniversity of Chile
Link to publication File Attached

Sat 13 Jan 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Hershey
10:30 - 11:30
13:30 - 15:30
16:00 - 18:00