XPost: comp.lang.prolog, comp.lang.functional

CALL for PARTICIPATION
======================

18th International Symposium on
Practical Aspects of Declarative Languages (PADL 2016)

http://conf.researchr.org/home/PADL-2016

St. Petersburg, Florida, United States
Mon 18 - Tue 19 January 2016
Co-located with ACM POPL 2016


Registrations received by 11:59 PM Eastern Daylight Time on December 18,
2015
qualify for the early registration fees.


Preliminary Schedule
====================

== MONDAY JANUARY 18 ==
Welcome (08:45-09:00)

*Invited talk (09:00-10:00)*
Program Synthesis for Direct Manipulation Interfaces
Ravi Chugh

Coffee Break (10:00-10:30)

*Functional Programming I (10:30-12:00)*

Simplifying Probabilistic Programs Using Computer Algebra
Jacques Carette (McMaster University) and Chung‐chieh Shan
(Indiana University)

Haskino: A Remote Monad for Programming the Arduino
Mark Grebe and Andy Gill (University of Kansas)

From Monads to Effects and Back
Niki Vazou (UC San Diego) and Daan Leijen (Microsoft Research)

Lunch (12:00-14:30)

*Constraints (14:00-15:30)*

A GPU implementation of the ASP computation
Agostino Dovier (University of Udine), Andrea Formisano
(University of Perugia), Enrico Pontelli (New Mexico State University),
and Flavio Vella (University of Rome).

Using Constraint Logic Programming to Schedule Solar Array Operations on
the International Space Station
Jan Jelínek and Roman Barták (Charles University in Prague)

The Picat-SAT Compiler
Neng-Fa Zhou (CUNY Brooklyn College & Graduate Center) and Håkan Kjellerstrand

Coffee Break (15:30-16:00)

*Logic Programming (14:30-15:30)*

The KB paradigm and its application to interactive configuration
Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens and Marc
Denecker (KU Leuven)

Default Rules for Curry
Sergio Antoy (Portland State University) and Michael Hanus (Kiel University)

== TUESDAY JANUARY 19 ==
*Invited talk (09:00-10:00) — Joint with VMCAI*
Viper - A Verification Infrastructure for Permission-based Reasoning
Peter Müller (ETH Zürich)

Coffee Break (10:00-10:30)

*Functional Programming II (10:30-12:00)*
Computing with Catalan Families, Generically
Paul Tarau (University of North Texas)

A Size-proportionate Bijective Encoding of Lambda Terms as Catalan
Objects endowed with Arithmetic Operations
Paul Tarau (University of North Texas)

Generic Matching of Tree Regular Expressions over Haskell Data Types
Alejandro Serrano and Jurriaan Hage (Utrecht University)


Conference Description
=================

PADL is a forum for researchers and practitioners to present
original work emphasizing novel applications and implementation
techniques for all forms of declarative concepts, including,
functional, logic, constraints, etc. Topics of interest include, but
are not limited to:

* Innovative applications of declarative languages
* Declarative domain-specific languages and applications
* Practical applications of theoretical results
* New language developments and their impact on applications
* Declarative languages and software engineering
* Evaluation of implementation techniques on practical applications
* Practical experiences and industrial applications
* Novel uses of declarative languages in the classroom
* Practical extensions such as constraint-based, probabilistic, and
reactive languages.

PADL 2016 welcomes new ideas and approaches pertaining to
applications and implementation of declarative languages. PADL 2016 will
be co-located with the Symposium on Principles of Programming Languages
(POPL 2016), in St. Petersburg, Florida (USA).

CONFERENCE REGISTRATION
=====================

Please visit the POPL 16 web site for information about
registration and travel accommodations.

Registrations received by 11:59 PM Eastern Daylight Time on December 18,
2015
qualify for the early registration fees.

Registration: http://conf.researchr.org/attending/POPL-2016/Registration

--
http://docente.unife.it/marco.gavanelli

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)