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

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Thu 21 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Fri 22 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Wed 20 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 21 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 22 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 20 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 21 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 22 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change