Groups | Search | Server Info | Login | Register

Groups > comp.constraints > #183

PADL'17 Call for Participation

Show all headers | View raw

Dear colleagues, 

You are cordially invited you to participate in 

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

http://bit.ly/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 

Contacts 
======== 

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

Yuliya Lierler 
University of Nebraska Omaha, USA 
http://faculty.ist.unomaha.edu/ylierler/ 

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

email: padl17@easychair.org

Back to comp.constraints | Previous | Next | Find similar

Thread

PADL'17 Call for Participation maroneal@gmail.com - 2016-11-25 08:10 -0800

csiph-web