18th International Conference on Applications of Declarative Programming and Knowledge Management

INAP 2009

Universidade de Évora, Portugal

November 5-7, 2009

News Overview
INAP 2009 Workshop Format Conference Venue Important Dates Submission Guidelines Organizing Committee Program Committee Contact Information



Declarative Programming is a family of advanced paradigms for the modeling and solving of complex problems.  These specification and implementation methods have attracted more and more attention over the past years, e.g. in the domains of databases and natural language processing, for modeling and the processing of combinatorial problems, and for establishing systems for the web.

INAP 2009

INAP is a communicative and dense forum for intensive discussion of applications of important technologies related to Prolog, Logic and Constraint Programming as well as closely related advanced software. 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.

INAP 2009 continues a tradition of successful workshops cast around the applications of declarative programming, which were held in Kobe (1997), Tokyo (1995, 1996, 1998 - 2001), Potsdam (2004), Fukuoka (2005) and Wuerzburg (2007). 

We invite the submission of high quality papers on the described topics, especially, but not exclusively, on different aspects of Declarative Programming, Constraint Processing and Knowledge Management as well as their use for Distributed Systems and the Web:

Workshop Format

The technical program of the workshop will include invited presentations, regular technical sessions with presentations of the accepted papers, system demonstrations and possibly a panel discussion.

Conference Venue

The conference will be held at the University of Évora, Portugal in November 5-7, 2009.

Évora is a pleasant and quiet historical city located in the south of Portugal that can be reached from Lisbon by train or coach in under 2 hours. It is a city of about 60,000 inhabitants, 120 km inland from Lisbon and classified by Unesco as World Heritage. 

The University of Évora was established in the 16th Century and is the 2nd oldest Portuguese University.

The social program is promising since the region is very rich in historical sites (Stone Age, Roman, Medieval and Renaissance remains) and also offers a very special gastronomy. 
See http://en.wikipedia.org/wiki/Évora for more information.

Go here for information on how to reach Évora.

Important Dates

Paper Submission Deadline: July 13, 2009
Author Notification: August 17, 2009
Camera-ready Version Deadline: September 14, 2009
Early Registration Deadline: October 15, 2009
INAP 2009 Workshop: November 5-7, 2009

Submission Guidelines

Participants should submit a paper (maximum 15 pages, PDF format), describing their work in topics relevant to the workshop.  Accepted papers will be presented during the workshop.  At least one author of an accepted contribution is expected to register for the workshop, and present the paper.  All submissions should include the author's name(s), affiliation, complete mailing address, and email address.

Authors are  requested to  prepare their submissions, following the LNCS/LNAI Springer format. Please see:

for further details.

The submission should be submitted through the electronic submission site:

The deadline for receipt of submissions is June 29, 2009.  Papers received after this date will not be reviewed.  Eligible papers will be peer-reviewed by at least three members of the Program Committee. Authors will be notified via email of the results by August 17, 2009. 
Authors of accepted papers are expected to improve their paper based on reviewers' comments and to send a camera ready version of their manuscripts by September 14, 2009.

Accepted papers will be included in the workshop proceedings, which will be distributed to the participants.

Selected papers will be extended and revised to be published in a proceedings volume in the Springer Lecture Notes in Artificial Intelligence (LNAI) series.

Organizing Committee

Salvador Abreu, Universidade de Évora, Portugal
Vitor Nogueira, Universidade de Évora, Portugal
Vasco Pedro, Universidade de Évora, Portugal
Pedro Salgueiro, Universidade de Évora, Portugal

Program Committee

Salvador Abreu, University of Évora, Portugal (co-chair)
Sergio Alvarez, Boston College, USA
Philippe Codognet, CNRS/JFLI, Tokyo, Japan
Vitor Santos Costa, University of Porto, Portugal
Daniel Diaz, University of Paris I, France
Ulrich Geske, University of Potsdam, Germany
Gopal Gupta, UT Dallas, USA
Petra Hofstedt, Technical University of Berlin, Germany
Ulrich Neumerkel, Technical University of Vienna, Austria
Vitor Nogueira, University of Évora, Portugal
Enrico Pontelli, New Mexico State University, USA
Irene Rodrigues, University of Évora, Portugal
Carolina Ruiz, Worcester Polytechnic Institute, USA
Dietmar Seipel, University of Wuerzburg, Germany (co-chair)
Terrance Swift, CENTRIA, Portugal
Hans Tompits, Technical University of Vienna, Austria
Masanobu Umeda, Kyushu Institute of Technology, Japan
Armin Wolf, Fraunhofer FIRST, Berlin, Germany
Osamu Yoshie, Waseda University, Japan

Contact Information

Salvador Abreu 
Vitor Nogueira 
Vasco Pedro 
Pedro Salgueiro


Universidade de Évora
Departamento de Informatica
Largo dos Colegiais, 2
7004-516 Évora - PORTUGAL