Program - PADL

Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States

co-located with POPL 2016

Filter

Mon 18 Jan

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

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

09:00 - 10:00
Talk

Program Synthesis for Direct Manipulation Interfaces

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

10:30 - 11:00
Talk

Simplifying Probabilistic Programs Using Computer Algebra

Jacques Carette, Chung-chieh Shan

11:00 - 11:30
Talk

Haskino: A Remote Monad for Programming the Arduino

Mark Grebe, Andy Gill

11:30 - 12:00
Talk

From Monads to Effects and Back

Niki Vazou, Daan Leijen

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

14:00 - 14:30
Talk

A GPU implementation of the ASP computation

Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella

14:30 - 15:00
Talk

Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station

Jan Jelínek, Roman Barták

15:00 - 15:30
Talk

The Picat-SAT Compiler

Neng-Fa Zhou, Håkan Kjellerstrand

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 Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker

16:30 - 17:00
Talk

Default Rules for Curry

Sergio Antoy, Michael Hanus

Tue 19 Jan

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

10:30 - 11:00
Talk

Computing with Catalan Families, Generically

11:00 - 11:30
Talk

A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Objects endowed with Arithmetic Operations

11:30 - 12:00
Talk

Generic Matching of Tree Regular Expressions over Haskell Data Types

Alejandro Serrano, Jurriaan Hage

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