VenueOmni Hotel
Room nameMuseum B
Floor0
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:30: Message-Passing Concurrency and Substructural LogicsTutorialFest at Museum B
09:00 - 10:30
Talk
TutorialFest
Frank PfenningCarnegie Mellon University, USA
Media Attached
11:00 - 12:00: Message-Passing Concurrency and Substructural LogicsTutorialFest at Museum B
11:00 - 12:00
Talk
TutorialFest
Frank PfenningCarnegie Mellon University, USA
Media Attached
14:00 - 15:30: Iris - A Higher-Order Concurrent Separation LogicTutorialFest at Museum B
14:00 - 15:30
Talk
TutorialFest
Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud, A: Robbert KrebbersDelft University of Technology
Media Attached
16:00 - 17:00: Iris - A Higher-Order Concurrent Separation LogicTutorialFest at Museum B
16:00 - 17:00
Talk
TutorialFest
Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud, A: Robbert KrebbersDelft University of Technology
Media Attached

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:00: Talks IPLMW at Museum B
09:00 - 09:30
Talk
PLMW
Niki VazouUniversity of Maryland
File Attached
09:30 - 10:00
Talk
PLMW
File Attached
10:30 - 12:00: Panel IPLMW at Museum B
10:30 - 12:00
Talk
PLMW
Aws AlbarghouthiUniversity of Wisconsin-Madison, Constantin EneaUniversité Paris Diderot, David WalkerPrinceton University, Andrew C. MyersCornell University
16:00 - 18:00: Panel IIPLMW at Museum B
16:00 - 16:30
Talk
PLMW
Andrew C. MyersCornell University
File Attached
16:30 - 18:00
Talk
PLMW
Azadeh FarzanUniversity of Toronto, Zachary TatlockUniversity of Washington, Seattle, Thomas BallMicrosoft Research, Jennifer PaykinUniversity of Pennsylvania

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change

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

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change

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