Write a Blog >>
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
Times are displayed in time zone: Saskatchewan, Central America change

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

Mon 20 Jan
Times are displayed in time zone: Saskatchewan, Central America change