Conference Dates
Conference Dates are in time zone (GMT-05:00) Guadalajara, Mexico City, Monterrey, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Mon 18 Jan Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
08:45 - 09:00 | |||
09:00 - 10:00 | |||
09:00 60mTalk | Program Synthesis for Direct Manipulation Interfaces PADL Ravi ChughUniversity of Chicago |
10:30 - 12:00 | |||
10:30 30mTalk | Simplifying Probabilistic Programs Using Computer Algebra PADL | ||
11:00 30mTalk | Haskino: A Remote Monad for Programming the Arduino PADL | ||
11:30 30mTalk | From Monads to Effects and Back PADL |
14:00 - 15:30 | |||
14:00 30mTalk | A GPU implementation of the ASP computation PADL Agostino DovierUniversity of Udine, Andrea FormisanoUniversità di Perugia , Enrico PontelliNew Mexico State University, Flavio VellaSapienza University of Rome, Italy | ||
14:30 30mTalk | Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station PADL | ||
15:00 30mTalk | The Picat-SAT Compiler PADL Neng-Fa ZhouCUNY Brooklyn College and Graduate Center, Håkan KjellerstrandCUNY Brooklyn College and Graduate Center |
16:00 - 17:00 | |||
16:00 30mTalk | The KB paradigm and its application to interactive configuration PADL Pieter Van HertumKU Leuven, Ingmar DassevilleKU Leuven, Gerda JanssensKU Leuven, Marc DeneckerKU Leuven | ||
16:30 30mTalk | Default Rules for Curry PADL |
Tue 19 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
10:30 - 12:00 | |||
10:30 30mTalk | Computing with Catalan Families, Generically PADL Paul TarauUniversity of North Texas | ||
11:00 30mTalk | A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Objects endowed with Arithmetic Operations PADL Paul TarauUniversity of North Texas | ||
11:30 30mTalk | Generic Matching of Tree Regular Expressions over Haskell Data Types PADL |
Mon 18 Jan Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
Room | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 |
---|
Tue 19 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
Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 |
---|
Mon 18 Jan Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Room Bayboro | PADL From Monads to Effects and Back 11:30 - 12:00 | PADL A GPU implementation of the ASP computation 14:00 - 14:30 | PADL The Picat-SAT Compiler 15:00 - 15:30 | PADL Default Rules for Curry 16:30 - 17:00 |
Tue 19 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
Room | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 |
---|
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