• PADL'17 Call for Participation

    From maroneal@gmail.com@21:1/5 to All on Fri Nov 25 08:10:32 2016
    Dear colleagues,

    You are cordially invited you to participate in

    19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017)


    Paris, France

    16th and 17th January 2017

    Co-located with ACM POPL 2017 (http://conf.researchr.org/home/POPL-2017)

    Registration site: http://popl17.sigplan.org/attending/registration
    Early registration deadline: December 17th, 2016

    Program posted: http://bit.ly/PADL-2017

    Program Description

    The 16th of January:

    8:50- 9 Opening Remarks

    9-10 Applications I

    Henrik Nilsson and Guerric Chupin. Funky Grooves: Declarative Programming of Full-Fledged Musical Applications

    Stefania Costantini, Giovanni De Gasperis and Giulio Nazzicone. DALI for Cognitive Robotics: Principles and Prototype Implementation

    10 -10:30 Coffee Break

    10:30-12 Answer Set Programming

    Joost Vennekens. Lowering the learning curve for declarative programming: a Python API for the IDP system

    Christoph Redl. Extending Answer Set Programs with Interpreted Functions as First-class Citizens

    Jakob Rath and Christoph Redl. Integrating Answer Set Programming with Object-oriented Languages

    12-14 Lunch

    14-15:30 Testing and Games:

    Jonathan Fowler and Graham Hutton. Failing Faster: Overlapping Patterns for Property-Based Testing

    Maciej Bendkowski, Katarzyna Grygiel and Paul Tarau. Boltzmann Samplers for Closed Simply-Typed Lambda Terms (Best Student Paper Award)

    Paulo Oliva, Jules Hedges, Viktor Winschel, Philipp Zahn and Evguenia Shprits. Selection Equilibria of Higher-Order Games

    15:30 -16 Coffee Break

    16-17:30 Applications II and Inference

    Geoffrey Mainland. A Domain-Specific Language for Software-Defined Radio

    Felix Klock. A Declarative DSL for Customized Rendering of Text-Based Art

    Theofrastos Mantadelis and Ricardo Rocha. Using Iterative Deepening for Probabilistic Logic Inference

    The 17th of January:

    9-10 Invited Talk TBA

    10 -10:30 Coffee Break

    10:30-12 Programming languages
    Sergio Antoy and Michael Hanus. Eliminating Irrelevant Non-determinism in Functional Logic Programs

    Neng-Fa Zhou and Jonathan Fruhman. Canonicalizing High-Level Constructs in Picat (Most Practical Paper Award)

    Besik Dundua, Temur Kutsia and Klaus Reisenberger-Hagmayer. An Overview of PrhoLog

    12 Closing Remarks

    Conference Description

    Declarative languages build on sound theoretical bases to provide
    attractive frameworks for application development. These languages
    have been successfully applied to many different real-world
    situations, ranging from data base management to active networks to
    software engineering to decision support systems.

    New developments in theory and implementation have opened up new
    application areas. At the same time, applications of declarative
    languages to novel problems raise numerous interesting research
    issues. Well-known questions include designing for scalability,
    language extensions for application deployment, and programming
    environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress
    as well.

    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.

    Program Committee

    Erika Abraham, RWTH Aachen University
    Marcello Balduccini, Drexel University
    Lars Bergstrom, Mozilla Research
    Bart Bogaerts, Aalto University
    Edwin Brady, University of St Andrews
    Martin Brain, University of Oxford
    Mats Carlsson, SICS
    Manuel Carro, Technical University of Madrid (UPM)
    Stefania Costantini, University dell'Aquila
    Marc Denecker, KU Leuven
    Thomas Eiter, TU Wien Esra Erdem, Sabanci University
    Thom Fruehwirth, University of Ulm
    Marco Gavanelli, University of Ferrara
    Martin Gebser, University of Potsdam
    Jeremy Gibbons, University of Oxford
    Hai-Feng Guo, University of Nebraska at Omaha
    Jurriaan Hage, Universiteit Utrecht
    Geoffrey Mainland, Drexel University
    Henrik Nilsson, University of Nottingham
    Enrico Pontelli, New Mexico State University
    Ricardo Rocha, University of Porto
    Peter Schüller, Marmara University
    Peter Sestoft, IT University of Copenhagen
    Martin Sulzmann, Karlsruhe University of Applied Sciences
    Paul Tarau, University of North Texas
    Kazunori Ueda, Waseda University
    Niki Vazou, University of California, San Diego
    Philip Wadler, University of Edinburgh
    Daniel Winograd-Cort, University of Pennsylvania
    Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center
    Lukasz Ziarek, SUNY Buffalo

    Program Chairs:
    Yuliya Lierler, University of Nebraska Omaha
    Walid Taha, Halmstad University


    For additional information about papers and submissions, please
    contact the Program Chairs:

    Yuliya Lierler
    University of Nebraska Omaha, USA

    Walid Taha
    Halmstad University, Sweden http://www.effective-modeling.org/p/walid-taha.html

    email: padl17@easychair.org

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