VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
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 WedPOPL Invited Speakers at Grand Bay Ballroom
Chair(s): Rastislav Bodík University of Washington, USA
09:00
60m
Talk
Programming the World of Uncertain Things
POPL Invited Speakers
Kathryn S McKinley Microsoft Research

Thu 21 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Invited Speaker ThuPOPL Invited Speakers at Grand Bay Ballroom
Chair(s): Rupak Majumdar MPI-SWS
09:00
60m
Talk
Synthesis of Reactive Controllers for Hybrid Systems
POPL 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 FriPOPL Invited Speakers at Grand Bay Ballroom
Chair(s): Steve Zdancewic University of Pennsylvania
09:00
60m
Talk
Confluences in Programming Languages Research
POPL 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