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

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:45 - 09:00: WelcomePADL at Room Bayboro
Chair(s): John ReppyUniversity of Chicago
09:00 - 10:00: Invited TalkPADL at Room Bayboro
09:00 - 10:00
Talk
PADL
Ravi ChughUniversity of Chicago
10:30 - 12:00: Functional Programming IPADL at Room Bayboro
10:30 - 11:00
Talk
PADL
Jacques CaretteMcMaster University, Chung-chieh ShanIndiana University
11:00 - 11:30
Talk
PADL
Mark GrebeUniversity of Kansas, Andy GillUniversity of Kansas
11:30 - 12:00
Talk
PADL
Niki VazouUC San Diego, Daan LeijenMicrosoft Research
14:00 - 15:30: ConstraintsPADL at Room Bayboro
14:00 - 14:30
Talk
PADL
Agostino DovierUniversity of Udine, Andrea FormisanoUniversità di Perugia , Enrico PontelliNew Mexico State University, Flavio VellaSapienza University of Rome, Italy
14:30 - 15:00
Talk
PADL
Jan JelínekCharles University in Prague, Roman BartákCharles University in Prague
15:00 - 15:30
Talk
PADL
Neng-Fa ZhouCUNY Brooklyn College and Graduate Center, Håkan KjellerstrandCUNY Brooklyn College and Graduate Center
16:00 - 17:00: Logic ProgrammingPADL at Room Bayboro
16:00 - 16:30
Talk
PADL
Pieter Van HertumKU Leuven, Ingmar DassevilleKU Leuven, Gerda JanssensKU Leuven, Marc DeneckerKU Leuven
16:30 - 17:00
Talk
PADL
Sergio AntoyKiel University, Michael HanusKiel University

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00: Functional Programming IIPADL at Room Bayboro
10:30 - 11:00
Talk
PADL
Paul TarauUniversity of North Texas
11:00 - 11:30
Talk
PADL
Paul TarauUniversity of North Texas
11:30 - 12:00
Talk
PADL
Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change