Write a Blog >>
VenueJW Marriott New Orleans
Room nameSHANGRI-LA
Floor8
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 20 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

POPL-2020-tutorialfest
09:00 - 10:00: TutorialFest - Synthesizing Programs from Types (I) at SHANGRI-LA
POPL-2020-tutorialfest09:00 - 10:00
Tutorial
Nadia PolikarpovaUniversity of California, San Diego
Link to publication File Attached
POPL-2020-tutorialfest
10:30 - 12:30: TutorialFest - Synthesizing Programs from Types (II) at SHANGRI-LA
POPL-2020-tutorialfest10:30 - 12:30
Tutorial
Nadia PolikarpovaUniversity of California, San Diego
Link to publication File Attached
POPL-2020-tutorialfest
14:00 - 15:05: TutorialFest - Programming and Reasoning with Kleene Algebra with Tests (I) at SHANGRI-LA
POPL-2020-tutorialfest14:00 - 15:05
Tutorial
Nate FosterCornell University, Dexter KozenCornell University, Alexandra SilvaUniversity College London
File Attached
POPL-2020-tutorialfest
15:35 - 17:35: TutorialFest - Programming and Reasoning with Kleene Algebra with Tests (II) at SHANGRI-LA
POPL-2020-tutorialfest15:35 - 17:35
Tutorial
Nate FosterCornell University, Dexter KozenCornell University, Alexandra SilvaUniversity College London
File Attached

Mon 20 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change