INAP 2019

INAP is a forum for intensive discussion of applications of important technologies around declarative programming, constraint problem solving, and related computing paradigms. It comprehensively covers the impact of data and knowledge engineering, programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. Previous INAP conferences have been held in Japan, Germany, Portugal, and Austria.

We invite high quality contributions on the described topics, especially, but not exclusively, on different aspects of declarative programming, constraint processing, data and knowledge management, as well as their use for distributed systems and the web:

  • data and knowledge engineering / management: deductive databases, rule bases, decision support, expert systems, knowledge discovery
  • declarative programming: logic programming, nonmonotonic reasoning, knowledge representation, domain-specific languages
  • constraints: constraint systems, (extensions of) constraint (logic) programming
  • distributed systems and the web: agents and concurrent engineering, ontologies, semantic web, internet of things
  • practical systems: tools for academic and industrial use, knowledge-based web services, logic solvers and applications
  • multi-paradigm programming


Submission Guidelines

Submission is via Springer-OCS submission website for INAP 2019:


(See also https://ocs.springer.com/ocs/home/INAP2019)

Authors are invited to submit long papers (no longer than 15 pages) or short papers (no longer than 6 pages) in the following categories:

  • Regular research papers
  • Application papers
  • System descriptions

We also encourage submissions on ongoing work of PhD students (no longer than 6 pages). Submissions must be unpublished original work and not submitted for publication elsewhere.  However, work that already appeared in informally published workshop proceedings may be submitted too. All papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. All submissions must be formatted in the Lecture Notes in Computer Science style.



All papers accepted for presentation at the conference will be published in informal proceedings publicly available at the Computing Research Repository CoRR.
According to the program committee reviews, submissions can be directly accepted for publication in the formal post-conference proceedings. The formal post-conference proceedings will be published in both electronic and paper formats by Springer in the Lecture Notes in Artificial Intelligence LNCS/LNAI series.  After the conference, all authors accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the conference. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings.
All accepted papers will be presented during the conference. At least one author of an accepted contribution is expected to register for the conference and present the paper.


  • Paper Registration: May 27, 2019
  • Deadline for Submissions: June 3, 2019
  • Notification of Authors: July 1, 2019
  • Camera-ready Papers: July 29, 2019
  • Early Registration: August 12, 2019
  • Online Registration: September 2, 2019
  • Conference & Workshops: September 9-13, 2019



Conference Chair

Petra Hofstedt (Brandenburg University of Technology Cottbus – Senftenberg)

Track Chairs

Salvador Abreu (Universidade de Évora) – Logic Programming and Extensions
Dietmar Seipel (University of Würzburg) – (Deductive) Databases, Rule Bases, Decision Support, Expert Systems, Knowledge Discovery
Petra Hofstedt (BTU Cottbus – Senftenberg) – Constraints, Constraint Solvers and Systems

Program Committee

Salvador Abreu (Universidade de Évora, Portugal)
Christoph Beierle (FernUniversität in Hagen, Germany)
François Bry (Ludwig-Maximilian-University of Munich, Germany)
Vitor Santos Costa (University of Porto, Portugal)
Thom Frühwirth (University of Ulm, Germany)
Ulrich Geske (University of Potsdam, Germany)
Gopal Gupta (UT Dallas, USA)
Michael Hanus (University of Kiel, Germany)
Petra Hofstedt (BTU Cottbus – Senftenberg, Germany)
Tomi Janhunen (Tampere University, Finland)
Gabriele Kern-Isberner (TU Dortmund University, Germany)
Herbert Kuchen (University of Münster, Germany)
Sven Löffler (BTU Cottbus – Senftenberg, Germany)
Vitor Beires Nogueira (Universidade de Évora, Portugal)
Ricardo Rocha (University of Porto, Portugal)
Dietmar Seipel (University of Würzburg, Germany)
Helmut Simonis (University College Cork, Ireland)
Theresa Swift (Universidade Nova de Lisboa, Portugal)
Hans Tompits (Vienna University of Technology, Austria)
Masanobu Umeda (Kyushu Institute of Technology, Japan)
Armin Wolf (Fraunhofer FOKUS Berlin, Germany)


Call for Papers (as pdf)