Write a Blog >>
VenueHilton St. Petersburg Bayfront
Room nameGrand Bay Ballroom
Floor0
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

Wed 20 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Invited WedInvited Speakers at Grand Bay Ballroom
Chair(s): Rastislav BodikUniversity of Washington, USA
09:00
60m
Talk
Programming the World of Uncertain Things
Invited Speakers
Kathryn S McKinleyMicrosoft Research

Thu 21 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Invited Speaker ThuInvited Speakers at Grand Bay Ballroom
Chair(s): Rupak MajumdarMPI-SWS
09:00
60m
Talk
Synthesis of Reactive Controllers for Hybrid Systems
Invited Speakers
Richard M. MurrayCalifornia Institute of Technology
Media Attached

Fri 22 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Invited Speaker FriInvited Speakers at Grand Bay Ballroom
Chair(s): Steve ZdancewicUniversity of Pennsylvania
09:00
60m
Talk
Confluences in Programming Languages Research
Invited Speakers
David WalkerPrinceton University
Media Attached

Wed 20 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Thu 21 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Fri 22 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Wed 20 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Thu 21 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Fri 22 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change