Program - PADL

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
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		Program Synthesis for Direct Manipulation Interfaces PADL Ravi ChughUniversity of Chicago

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

	10:30 - 11:00 Talk		Simplifying Probabilistic Programs Using Computer Algebra PADL Jacques CaretteMcMaster University, Chung-chieh ShanIndiana University
	11:00 - 11:30 Talk		Haskino: A Remote Monad for Programming the Arduino PADL Mark GrebeUniversity of Kansas, Andy GillUniversity of Kansas
	11:30 - 12:00 Talk		From Monads to Effects and Back PADL Niki VazouUC San Diego, Daan LeijenMicrosoft Research

	14:00 - 15:30: ConstraintsPADL at Room Bayboro

	14:00 - 14:30 Talk		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 - 15:00 Talk		Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station PADL Jan JelínekCharles University in Prague, Roman BartákCharles University in Prague
	15:00 - 15:30 Talk		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: Logic ProgrammingPADL at Room Bayboro

	16:00 - 16:30 Talk		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 - 17:00 Talk		Default Rules for Curry 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		Computing with Catalan Families, Generically PADL Paul TarauUniversity of North Texas
	11:00 - 11:30 Talk		A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Objects endowed with Arithmetic Operations PADL Paul TarauUniversity of North Texas
	11:30 - 12:00 Talk		Generic Matching of Tree Regular Expressions over Haskell Data Types PADL Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University

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
Room Bayboro										PADL Welcome			PADL Invited Talk																		PADL Functional Programming I																																										PADL Constraints																								PADL Logic Programming

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


Room	9:00	30	10:00	30	11:00	30
Room Bayboro				PADL Functional Programming II
Room St Petersburg I	PADL

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 Program Synthesis for Direct Manipulation Interfaces 09:00 - 10:00																		PADL Simplifying Probabilistic Programs Using Computer Algebra 10:30 - 11:00						PADL Haskino: A Remote Monad for Programming the Arduino 11:00 - 11:30						PADL From Monads to Effects and Back 11:30 - 12:00																														PADL A GPU implementation of the ASP computation 14:00 - 14:30						PADL Using Constraint Logic Programming to Schedule Solar Array Operations o ... 14:30 - 15:00						PADL The Picat-SAT Compiler 15:00 - 15:30												PADL The KB paradigm and its application to interactive configuration 16:00 - 16:30						PADL Default Rules for Curry 16:30 - 17:00

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
Room Bayboro							PADL Computing with Catalan Families, Generically 10:30 - 11:00						PADL A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Obje ... 11:00 - 11:30						PADL Generic Matching of Tree Regular Expressions over Haskell Data Types 11:30 - 12: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

PADL Program

Filter Program

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

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

PADL

PADL

PADL

PADL

PADL

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

PADL

PADL

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

Tracks

PADL Program

Filter Program

Program Display Configuration

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

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

PADL

PADL

PADL

PADL

PADL

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

PADL

PADL

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

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

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

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