Write a Blog >>
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

Conference Day
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 BodikUniversity of Washington, USA
14:45
45m
Talk
Invited Talk: LMS: a Perspective on Generative Programming
PEPM Invited Talks
I: Nada AminEPFL
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. ByrdUniversity of Utah

Conference Day
Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Conference Day
Mon 18 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Conference Day
Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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