PADL
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Filter
Dates
Rooms
Tracks
Badges
Your 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

Room9:003010:003011:003012:0030
Room Bayboro
Room St Petersburg I
09:00 - 10:00
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)