VenueOmni Hotel
Room nameMuseum B
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 8 Jan

Displayed time zone: Tijuana, Baja California change

09:00 - 10:30
Message-Passing Concurrency and Substructural LogicsTutorialFest at Museum B
09:00
90m
Talk
Message-Passing Concurrency and Substructural Logics
TutorialFest
Frank Pfenning Carnegie Mellon University, USA
Media Attached
11:00 - 12:00
Message-Passing Concurrency and Substructural LogicsTutorialFest at Museum B
11:00
60m
Talk
Message-Passing Concurrency and Substructural Logics
TutorialFest
Frank Pfenning Carnegie Mellon University, USA
Media Attached
14:00 - 15:30
Iris - A Higher-Order Concurrent Separation LogicTutorialFest at Museum B
14:00
90m
Talk
Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic.
TutorialFest
Jacques-Henri Jourdan CNRS, LRI, Université Paris-Sud, A: Robbert Krebbers Delft University of Technology
Media Attached
16:00 - 17:00
Iris - A Higher-Order Concurrent Separation LogicTutorialFest at Museum B
16:00
60m
Talk
Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic.
TutorialFest
Jacques-Henri Jourdan CNRS, LRI, Université Paris-Sud, A: Robbert Krebbers Delft University of Technology
Media Attached

Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Panel IPLMW at Museum B
10:30
90m
Talk
Panel I: Technical Trends in Programming Languages Research
PLMW
Aws Albarghouthi University of Wisconsin-Madison, Constantin Enea Université Paris Diderot, David Walker Princeton University, Andrew Myers Cornell University
16:00 - 18:00
Panel IIPLMW at Museum B
16:00
30m
Talk
Work-Life Balance?
PLMW
Andrew Myers Cornell University
File Attached
16:30
90m
Talk
Panel II: Life in Grad School (and Beyond)
PLMW
Azadeh Farzan University of Toronto, Zachary Tatlock University of Washington, Seattle, Thomas Ball Microsoft Research, Jennifer Paykin University of Pennsylvania

Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Museum B

Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

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