Program - 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

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

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 2016


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 08:45 - 09:00			PADL Invited Talk 09:00 - 10:00																		PADL Functional Programming I 10:30 - 12:00																																										PADL Constraints 14:00 - 15:30																								PADL Logic Programming 16:00 - 17:00

Tue 19 Jan 2016


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

Mon 18 Jan 2016


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 2016


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

Tue 19 Jan

Mon 18 Jan 2016

PADL

PADL

PADL

PADL

PADL

Tue 19 Jan 2016

PADL

PADL

Mon 18 Jan 2016

Tue 19 Jan 2016

Tracks