16-17 Jan 2017
Paris, France
Practical Aspects of Declarative Languages (PADL 2017) 16th and 17th January 2017 Paris, France Co-located with 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) http://popl17.sigplan.org/track/PADL-2017 Program The 16th of January: 8:50- 9 Opening Remarks 9-10 Invited Talk by Gopal Gupta. Developing Large-scale Knowledge-based Systems with Predicate Answer Set Programming 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 I 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 Applications II 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 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 -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam