PLMW 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
VenueJW Marriott New Orleans
Room nameSHANGRI-LA
Floor8
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 20 Jan

Displayed time zone: Saskatchewan, Central America change

09:00 - 10:00
Synthesizing Programs from Types (I)POPL TutorialFest at SHANGRI-LA
09:00
60m
Tutorial
[T3] Synthesizing Programs from Types
POPL TutorialFest
Nadia Polikarpova University of California, San Diego
Link to publication File Attached
10:30 - 12:30
Synthesizing Programs from Types (II)POPL TutorialFest at SHANGRI-LA
10:30
2h
Tutorial
[T3] Synthesizing Programs from Types
POPL TutorialFest
Nadia Polikarpova University of California, San Diego
Link to publication File Attached
14:00 - 15:05
Programming and Reasoning with Kleene Algebra with Tests (I)POPL TutorialFest at SHANGRI-LA
14:00
65m
Tutorial
[T7] Programming and Reasoning with Kleene Algebra with Tests
POPL TutorialFest
Nate Foster Cornell University, Dexter Kozen Cornell University, Alexandra Silva University College London
File Attached
15:35 - 17:35
Programming and Reasoning with Kleene Algebra with Tests (II)POPL TutorialFest at SHANGRI-LA
15:35
2h
Tutorial
[T7] Programming and Reasoning with Kleene Algebra with Tests
POPL TutorialFest
Nate Foster Cornell University, Dexter Kozen Cornell University, Alexandra Silva University College London
File Attached

Mon 20 Jan

Displayed time zone: Saskatchewan, Central America change