Path: csiph.com!news.swapon.de!aioe.org!.POSTED!not-for-mail From: Marco Gavanelli Newsgroups: comp.constraints,comp.lang.prolog,comp.lang.functional Subject: PADL 2016 call for participation Date: Mon, 14 Dec 2015 18:02:49 +0100 Organization: Aioe.org NNTP Server Lines: 129 Message-ID: NNTP-Posting-Host: UHgFRm985byF4dD0BLoc8g.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.4.0 X-Notice: Filtered by postfilter v. 0.8.2 X-Mozilla-News-Host: news://news.aioe.org:119 Xref: csiph.com comp.constraints:176 comp.lang.prolog:4424 comp.lang.functional:698 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