PADL
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
VenueHilton St. Petersburg Bayfront
Room nameGrand Bay Ballroom
Floor0
Additional informationThere is no additional information of this room 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 WedPOPL Invited Speakers at Grand Bay Ballroom
Chair(s): Rastislav BodikUniversity of Washington, USA
09:00 - 10:00
Talk
Programming the World of Uncertain Things
POPL 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 ThuPOPL Invited Speakers at Grand Bay Ballroom
Chair(s): Rupak MajumdarMPI-SWS
09:00 - 10:00
Talk
Synthesis of Reactive Controllers for Hybrid Systems
POPL 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 FriPOPL Invited Speakers at Grand Bay Ballroom
Chair(s): Steve ZdancewicUniversity of Pennsylvania
09:00 - 10:00
Talk
Confluences in Programming Languages Research
POPL 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