CPP 2016
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
VenueHilton St. Petersburg Bayfront
Room nameRoom Bayboro
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 18 Jan

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

Tue 19 Jan

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

Mon 18 Jan 2016

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room Bayboro
08:45 - 09:00
09:00 - 10:00
14:00 - 15:30

Tue 19 Jan 2016

Room10:003011:003012:0030
Room Bayboro