INAP 2013 - Part of Kiel Declarative Programming Days 2013

Ricardo Rocha

September 2013


This report contains the papers presented at the Kiel Declarative Programming Days 2013, held in Kiel (Germany) during September 11-13, 2013. The Kiel Declarative Programming Days 2013 unified the following events: All these events are centered around declarative programming, an advanced paradigm for the modeling and solving of complex problems. These specification and implementation methods attracted increasing attention over the last decades, e.g., in the domains of databases and natural language processing, for modeling and processing combinatorial problems, and for high-level programming of complex, in particular, knowledge-based systems.
The INAP conferences provide a communicative forum for intensive discussion of applications of important technologies around logic programming, constraint problem solving, and closely related computing paradigms. It comprehensively covers the impact of programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. Previous INAP editions have been held in Japan, Germany, Portugal, and Austria.
The international workshops on functional and logic programming (WFLP) aim at bringing together researchers interested in functional programming, logic programming, as well as the integration of these paradigms. Previous WFLP editions have been held in Germany, France, Spain, Italy, Estonia, Brazil, Denmark, and Japan.
The workshops on (constraint) logic programming (WLP) serve as the scientific forum of the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence, and operations research. Previous WLP editions have been held in Germany, Austria, Switzerland, and Egypt.
In this year these events were jointly organized under the umbrella of the Kiel Declarative Programming Days in order to promote the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The technical program of the event included presentations of refereed technical papers and system descriptions.
The program committees collected for each paper at least three reviews. The meetings of the program committees were conducted electronically during July 2013 with the help of the conference management system EasyChair. After careful discussions, the program committees selected 21 technical papers and two system descriptions for presentation. In addition to the selected papers, the scientific program included an invited lecture by Tom Schrijvers (University of Ghent, Belgium).
We would like to thank all authors who submitted papers to this event. We are grateful to the members of the program committees and all the additional reviewers for their careful and efficient work in the review process. Finally, we express our gratitude to all members of the local organizing committee for their help in organizing a successful event.

September 2013

Michael Hanus and Ricardo Rocha


  editor =    {M. Hanus and R. Rocha},
  title =     {{Proceedings of the Kiel Declarative Programming Days 2013 (KDPD 2013)}},
  month =     {September},
  year =      {2013},
  address =   {Kiel, Germany},

Download Proceedings

PDF file
Kiel University