VenueBoston Park Plaza
Room nameKenmore
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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

Mon 16 Jan

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Tutorials 3ATutorialFest at Kenmore
09:00
90m
Tutorial
QuickChick: Combining Random Testing and Verification in Coq
TutorialFest
Leonidas Lampropoulos University of Maryland, College Park
11:00 - 12:30
Tutorials 3BTutorialFest at Kenmore
11:00
90m
Tutorial
QuickChick: Combining Random Testing and Verification in Coq
TutorialFest
Leonidas Lampropoulos University of Maryland, College Park
14:00 - 15:30
Tutorials 7ATutorialFest at Kenmore
14:00
90m
Tutorial
RUST: Regions, Uniqueness, Ownership & Types
TutorialFest
James Noble Research & Programming, Tobias Wrigstad Uppsala University, Sweden
16:00 - 17:30
Tutorials 7BTutorialFest at Kenmore
16:00
90m
Tutorial
RUST: Regions, Uniqueness, Ownership & Types
TutorialFest
James Noble Research & Programming, Tobias Wrigstad Uppsala University, Sweden

Mon 16 Jan

Displayed time zone: Eastern Time (US & Canada) change

Mon 16 Jan

Displayed time zone: Eastern Time (US & Canada) change