Room Bayboro - PADL

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

co-located with POPL 2016

VenueHilton St. Petersburg Bayfront

Room nameRoom Bayboro

Floor0

Room number

Capacity0

Additional informationThere is no additional information of this room available.

Program

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	10:00						30						11:00						30						12:00						30
Room Bayboro							PADL Functional Programming II 10:30 - 12:00

No events planned yet, please check back later.