Program - PADL

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

	08:45 - 09:00	WelcomePADL at Room Bayboro Chair(s): John Reppy University of Chicago

09:00 - 10:00	Invited TalkPADL at Room Bayboro

09:00 60m Talk		Program Synthesis for Direct Manipulation Interfaces PADL Ravi Chugh University of Chicago

10:30 - 12:00	Functional Programming IPADL at Room Bayboro

10:30 30m Talk		Simplifying Probabilistic Programs Using Computer Algebra PADL Jacques Carette McMaster University, Chung-chieh Shan Indiana University
11:00 30m Talk		Haskino: A Remote Monad for Programming the Arduino PADL Mark Grebe University of Kansas, Andy Gill University of Kansas
11:30 30m Talk		From Monads to Effects and Back PADL Niki Vazou UC San Diego, Daan Leijen Microsoft Research

14:00 - 15:30	ConstraintsPADL at Room Bayboro

14:00 30m Talk		A GPU implementation of the ASP computation PADL Agostino Dovier University of Udine, Andrea Formisano Università di Perugia , Enrico Pontelli New Mexico State University, Flavio Vella Sapienza University of Rome, Italy
14:30 30m Talk		Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station PADL Jan Jelínek Charles University in Prague, Roman Barták Charles University in Prague
15:00 30m Talk		The Picat-SAT Compiler PADL Neng-Fa Zhou CUNY Brooklyn College and Graduate Center, Håkan Kjellerstrand CUNY Brooklyn College and Graduate Center

16:00 - 17:00	Logic ProgrammingPADL at Room Bayboro

16:00 30m Talk		The KB paradigm and its application to interactive configuration PADL Pieter Van Hertum KU Leuven, Ingmar Dasseville KU Leuven, Gerda Janssens KU Leuven, Marc Denecker KU Leuven
16:30 30m Talk		Default Rules for Curry PADL Sergio Antoy Kiel University, Michael Hanus Kiel University

Tue 19 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00	Functional Programming IIPADL at Room Bayboro

10:30 30m Talk		Computing with Catalan Families, Generically PADL Paul Tarau University of North Texas
11:00 30m Talk		A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Objects endowed with Arithmetic Operations PADL Paul Tarau University of North Texas
11:30 30m Talk		Generic Matching of Tree Regular Expressions over Haskell Data Types PADL Alejandro Serrano Utrecht University, Jurriaan Hage Utrecht University

PADL Program

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tracks

PADL Program

Switch Program View

Program Display Configuration

Mon 18 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Get Calendar (iCal)

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change