PADL 2015 - Call for Participation

From: Enrico Pontelli <>
Date: Thu, 7 May 2015 03:36:16 -0600

                   CALL for PARTICIPATION

             17th International Symposium on
Practical Aspects of Declarative Languages (PADL 2015)


             Portland, Oregon, June 18-19, 2015
Part of ACM Federated Computing Research Conference

                      Preliminary Schedule
  The preliminary program of PADL 2015 is now available at The accepted papers for the
symposium are:

* Reactive Single-Page Applications with Dynamic Dataflow
  Simon Fowler, Loic Denuziere and Adam Granicz.
* On Compiling Linear Logic Programs with Comprehensions,
  Aggregates and Rule Priorities
  Flavio Cruz and Ricardo Rocha.
* Declaratively solving Google Code Jam problems with Picat
  Sergii Dymchenko and Mariia Mykhailova.
* Programming Microcontrollers in OCaml: the OCaPIC Project
  Benoit Vaugon, Philippe Wang and Emmanuel Chailloux.
* On logic programming representations of lambda terms: de
  Bruijn indices, compression, type inference, combinatorial
  generation, normalization
  Paul Tarau.
* Implementation and Performance of Probabilistic Inference
  Dimitar Shterionov and Gerda Janssens.
* CHR(Curry): Interpretation and Compilation of Constraint
  Handling Rules in Curry
  Michael Hanus.
* Ontology-Driven Data Semantics Discovery for Cyber-Security
  Marcello Balduccini, Sarah Kushner and Jacquelin Speck.
* A Haskell Implementation of a Rule-Based Program
  Transformation for C Programs
  Salvador Tamarit, Guillermo Vigueras, Manuel Carro and
  Julio Mariņo.
* State Space Planning Using Transaction Logic
  Reza Basseda.

  The Symposium will feature two invited speakers - please visit
the web site for updates.

                      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 2015 welcomes new ideas and approaches pertaining to
applications and implementation of declarative languages. PADL 2015 will
be co-located with the ACM Federated Computing Research Conferences, in
Portland, Oregon.

                      CONFERENCE REGISTRATION

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

curry mailing list

Received on Do Mai 07 2015 - 17:53:01 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:13 CEST