VenueOmni Hotel
Room nameMuseum B
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 - Message-Passing Concurrency and Substructural Logics at Museum B
POPL-2018-TutorialFest09:00 - 10:30
Talk
Frank PfenningCarnegie Mellon University, USA
Media Attached
POPL-2018-TutorialFest
11:00 - 12:00: TutorialFest - Message-Passing Concurrency and Substructural Logics at Museum B
POPL-2018-TutorialFest11:00 - 12:00
Talk
Frank PfenningCarnegie Mellon University, USA
Media Attached
POPL-2018-TutorialFest
14:00 - 15:30: TutorialFest - Iris - A Higher-Order Concurrent Separation Logic at Museum B
POPL-2018-TutorialFest14:00 - 15:30
Talk
Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud, Robbert KrebbersDelft University of Technology
Media Attached
POPL-2018-TutorialFest
16:00 - 17:00: TutorialFest - Iris - A Higher-Order Concurrent Separation Logic at Museum B
POPL-2018-TutorialFest16:00 - 17:00
Talk
Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud, Robbert KrebbersDelft University of Technology
Media Attached

Tue 9 Jan

PLMW-POPL-2018
09:00 - 10:00: PLMW - Talks I at Museum B
PLMW-POPL-201809:00 - 09:30
Talk
Niki VazouUniversity of Maryland
File Attached
PLMW-POPL-201809:30 - 10:00
Talk
File Attached
PLMW-POPL-2018
10:30 - 12:00: PLMW - Panel I at Museum B
PLMW-POPL-201810:30 - 12:00
Talk
Aws AlbarghouthiUniversity of Wisconsin-Madison, Constantin EneaUniversité Paris Diderot, David WalkerPrinceton University, Andrew MyersCornell University
PLMW-POPL-2018
13:30 - 15:30: PLMW - Talks II at Museum B
PLMW-POPL-201814:00 - 14:30
Talk
Media Attached File Attached
PLMW-POPL-201814:30 - 15:00
Talk
Benjamin C. PierceUniversity of Pennsylvania
Media Attached
PLMW-POPL-201815:00 - 15:30
Talk
Media Attached
PLMW-POPL-2018
16:00 - 18:00: PLMW - Panel II at Museum B
PLMW-POPL-201816:00 - 16:30
Talk
Andrew MyersCornell University
File Attached
PLMW-POPL-201816:30 - 18:00
Talk
Azadeh FarzanUniversity of Toronto, Zachary TatlockUniversity of Washington, Thomas BallMicrosoft Research, Jennifer PaykinUniversity of Pennsylvania

Tue 9 Jan 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Museum B
09:00 - 10:00
10:30 - 12:00
13:30 - 15:30
16:00 - 18:00

Tue 9 Jan 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Museum B
14:00 - 14:30