INAP: International Conference on Applications of Declarative Programming and Knowledge Management

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2020 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
INAP 2019 22nd International Conference on Applications of Declarative Programming and Knowledge Management
Sep 9, 2019 - Sep 13, 2019 Cottbus, Germany Jun 24, 2019
INAP 2013 20th International Conference on Applications of Declarative Programming and Knowledge Management
Sep 11, 2013 - Sep 13, 2013 Kiel, Germany Jul 7, 2013
INAP 2011 19th Conference on Applications of Declarative Programming and Knowledge Management
Sep 28, 2011 - Sep 30, 2011 Vienna, Austria Jul 15, 2011 (Jul 8, 2011)
INAP 2009 18th International Conference on Applications of Declarative Programming and Knowledge Management
Nov 5, 2009 - Nov 7, 2009 Evora, Portugal Jul 13, 2009
 
 

Present CFP : 2019

==================================================================
INAP 2019: Call for Papers -- Submission Deadline extended --
==================================================================

22nd International Conference on Applications of
Declarative Programming and Knowledge Management
Cottbus, Germany, September 9-13, 2019
(part of Declare 2019: www.declare19.de)

Important Dates --- EXTENDED DEADLINES ---

Paper submission: June 24, 2019
Notification of acceptance: July 15, 2019
Camera-ready papers: August 5, 2019
Early registration: August 12, 2019
Online Registration: September 2, 2019
Conference: September 9-13, 2019


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, constraint-based modeling and applications;

* 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.

INAP 2019 will be part of DECLARE 2019 and hence be co-located with
WFLP 2019 (International Workshop on Functional and Logic
Programming), WLP 2019 (Workshop on (Constraint) Logic Programming),
and QPLogic 2019 (Quantum and Probability Logic).


Submission Guidelines

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.

For further information on the submission procedure, please, visit the
conference web site: declare19.de

Proceedings

All papers accepted for presentation at the conference will be
published in informal proceedings publicly available at the Computing
Research Repository. 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 Computer Science 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.


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)
Agostino Dovier (Universtity of Udine)
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) (Chair)
Tomi Jahunen (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)

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

Organizing Committee

Petra Hofstedt (General Chair),
Sven Löffler, Katrin Ebert,
Brandenburg University of Technology, Cottbus, Germany
 

Related Resources

14th ICTEL August, Barcelona 2021   14th ICTEL 2021 – International Conference on Teaching, Education & Learning, 23-24 August, Barcelona
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
9th ICTEL Paris 2021   9th ICTEL 2021 – International Conference on Teaching, Education & Learning, 31 May-01 June, Paris
PADL 2021   23rd International Symposium on Practical Aspects of Declarative Languages
17th ICTEL Rome 2021   17th ICTEL 2021 – International Conference on Teaching, Education & Learning, 06-07 September, Rome
12th ICTEL 26-27 July, Bali 2021   12th ICTEL 2021 – International Conference on Teaching, Education & Learning, 26-27 July, Bali
KSEM 2021   Knowledge Science, Engineering and Management
DATA 2021   International Conference on Data Science, E-learning and Information Systems 2021
ICTEL Prague June 2021   7th ICTEL 2021 – International Conference on Teaching, Education & Learning, 23-24 June, Prague
11th ICTEL Bangkok 2021   11th ICTEL 2021 – International Conference on Teaching, Education & Learning, 05-06 July, Bangkok