Program - PADL

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

Apply

Filter

Badges

Your Program

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: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

08:45 - 09:00: PADL - Welcome at Room Bayboro
Chair(s): John ReppyUniversity of Chicago

09:00 - 10:00: PADL - Invited Talk at Room Bayboro

09:00 - 10:00
Talk

Program Synthesis for Direct Manipulation Interfaces

Ravi ChughUniversity of Chicago

10:30 - 12:00: PADL - Functional Programming I at Room Bayboro

10:30 - 11:00
Talk

Simplifying Probabilistic Programs Using Computer Algebra

Jacques CaretteMcMaster University, Chung-chieh ShanIndiana University

11:00 - 11:30
Talk

Haskino: A Remote Monad for Programming the Arduino

Mark GrebeUniversity of Kansas, Andy GillUniversity of Kansas

11:30 - 12:00
Talk

From Monads to Effects and Back

Niki VazouUC San Diego, Daan LeijenMicrosoft Research

14:00 - 15:30: PADL - Constraints at Room Bayboro

14:00 - 14:30
Talk

A GPU implementation of the ASP computation

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

Jan JelínekCharles University in Prague, Roman BartákCharles University in Prague

15:00 - 15:30
Talk

The Picat-SAT Compiler

Neng-Fa ZhouCUNY Brooklyn College and Graduate Center, Håkan KjellerstrandCUNY Brooklyn College and Graduate Center

16:00 - 17:00: PADL - Logic Programming at Room Bayboro

16:00 - 16:30
Talk

The KB paradigm and its application to interactive configuration

Pieter Van HertumKU Leuven, Ingmar DassevilleKU Leuven, Gerda JanssensKU Leuven, Marc DeneckerKU Leuven

16:30 - 17:00
Talk

Default Rules for Curry

Sergio AntoyKiel University, Michael HanusKiel University

Tue 19 Jan
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

10:30 - 12:00: PADL - Functional Programming II at Room Bayboro

10:30 - 11:00
Talk

Computing with Catalan Families, Generically

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

Paul TarauUniversity of North Texas

11:30 - 12:00
Talk

Generic Matching of Tree Regular Expressions over Haskell Data Types

Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University

Mon 18 Jan
Times are displayed in time zone: (GMT-05:00) 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						17: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: (GMT-05:00) Guadalajara, Mexico City, Monterrey change


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

Mon 18 Jan
Times are displayed in time zone: (GMT-05:00) 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			17: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: (GMT-05:00) Guadalajara, Mexico City, Monterrey change


Room	10:00			15			30			45			11:00			15			30			45			12: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

Mon 18 Jan
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 19 Jan
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

PADL

PADL

PADL

PADL

PADL

Tue 19 Jan
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

PADL

PADL

Mon 18 Jan
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 19 Jan
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tracks

Display in different time zone

PADL Program

Mon 18 Jan Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 19 Jan Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Mon 18 Jan Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

PADL

PADL

PADL

PADL

PADL

Tue 19 Jan Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

PADL

PADL

Mon 18 Jan Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 19 Jan Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 19 Jan
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 19 Jan
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 19 Jan
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change