PADL
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
VenueHilton St. Petersburg Bayfront
Room nameRoom Demens
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

Mon 18 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

14:00 - 15:30
Invited talks 4 & 5PEPM Invited Talks at Room Demens
14:00
45m
Talk
Invited Talk: Program Synthesis: Opportunities for the next Decade
PEPM Invited Talks
I: Rastislav Bodik University of Washington, USA
14:45
45m
Talk
Invited Talk: LMS: a Perspective on Generative Programming
PEPM Invited Talks
I: Nada Amin EPFL
16:00 - 17:30
Invited talks 6 & 7PEPM Invited Talks at Room Demens
16:00
45m
Talk
Invited Talk: Fiat: Extensible Code Generation with Proofs
PEPM Invited Talks
16:45
45m
Talk
Invited Talk: The Promise of Relational Programming
PEPM Invited Talks
I: William E. Byrd University of Utah

Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room Demens