formerly International Conference on Applications  of Declarative Programming and Knowledge Management (INAP)

Location

All sessions will be held at the Casa Cordovil, in rooms 129 and 130. The street entrance is at Rua Dom Augusto Eduardo Nunes, n.7. There will be signs pointing to the conference site, inside the facility.

The conference dinner, on Thursday, will take place at the Hotel Mar d'Ar Muralhas.

Remote-enabled sessions (videoconferencing)

The sessions will all be broadcast using Google meet on this link: https://meet.google.com/hsf-mqpp-yai

Declarative programming is an advanced paradigm for modeling and solving complex problems. This specification method attracted increased attention over the last decades, e.g., in the domains of databases, artificial intelligence, natural language processing, modeling and processing combinatorial problems, and for establishing systems for the Web.

DECLARE 2025 aims to promote the cross-fertilizing exchange of ideas and experiences among researches 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 will include invited talks, presentations of refereed papers, and system demonstrations.

Declare is a communicative conference 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 editions of Declare (or INAP) have been held in Japan, Germany, Portugal, and Austria.

Topics

We invite high quality contributions on different aspects of declarative programming, data and knowledge management and constraint processing, as well as their use for distributed systems and the Web, including, but not limited to the following areas (the order does not reflect any priorities):

• data and knowledge management: e.g., deductive databases, rule bases, decision support, expert systems, knowledge discovery / data mining;

• declarative programming: e.g., logic programming, nonmonotonic reasoning, knowledge representation, domain-specific languages;

• distributed systems and the Web: e.g., agents and concurrent engineering, ontologies, Semantic Web;

• constraints, constraint systems, extensions of constraint (logic) programming;

• practical systems and tools for academic and industrial use, knowledge-based Web services - logic solvers and applications;

• legal reasoning and knowledge aspects;

• generative and explainable AI.

Submission Instructions

Papers (max. 15 pages LNCS, including references) may be submitted on EasyChair, at https://easychair.org/conferences/?conf=declare2025.

Late-breaking results and work-in-progress — Abstract-only submissions: we also call for short (1 or 2 pages) abstracts of work-in-progress to be submitted via EasyChair, as above. Abstracts should be labeled as such (see checkbox near the end of the article submission form).

Registration

Online, at https://sge.uevora.pt/eventos/ver/1204. 

Proceedings

The conference will have online proceedings.

Authors of accepted papers will be invited to submit an enhanced version for inclusion in a Springer LNAI volume, post conference.

Declare 2025

• Parallel Constraint Satisfaction for Optimizing Medical Appointment Scheduling
  George Assaf, Sven Löer, and Petra Hofstedt

• Information Extraction from Handwritten Portuguese Passport Requisitions  into CIDOC-CRM Archive Representation
  Davide Varagnolo, Dora Melo, Irene Pimenta Rodrigues, and Lígia  Ferreira

• A tiny rule language for planning and sizing the dispatch of emergency response units
  Guy Alain Narboni

• Database Query Processing in SQL using Large Language Models
  Lukas Mönch and Dietmar Seipel

• IoTCRAFT: Toward a Declarative Approach for IoT System Specification and Deployment
  João Cardoso, Pedro Salgueiro,  and Teresa Gonçalves

• Parallel Push Execution of Bottom-Up Datalog Evaluation
  Stefan Brass and Philipp Rösner

WLP 2025

• Optimized Execution of FreeCHR
  Sascha Rechenberger and Thom Frühwirth

• Improving Maintainability and Transparency in Student Data Pipelines Using Datalog
  Mario Wenzel

• Functional Logic Program Transformations
  Michael Hanus and Steven Libby

MOC 2025

• Agentic RAG and LLMs for Holistic Observability and Strategic Optimization in Fintech
  Onyinye S. Uche and Tianxiang Lu 

• Supporting Agile Digital Transformation with AI-Driven Technical Debt Prediction in DevOps Environments
  Tom Morgenstern and Tianxiang Lu

IntDig 2025

• Use Cases for a Digital Twin at a Municipal Utility Company
  Maik Günther

• Challenges and Solution Approaches for Time-related Aspects in the Automation of Data Protection Laws
  Petra Beenken, Ulrich John, Ralf Kneuper, and Tianxiang Lu

Conference Chairs

• Salvador Abreu, University of Évora

• Dietmar Seipel, University of Würzburg

Organization

• Francisco Coelho, University of Évora (chair)

• Lígia Ferreira, University of Évora

• Rui Oliveira, University of Évora

• Pedro Patinho, University of Évora

• Pedro Salgueiro, University of Évora

Program Committee   

• Slim Abdennadher (German University of Cairo, Egypt)

• Salvador Abreu (University of Évora, Portugal, co-chair)

• Martin Atzmüller (Osnabrück University, Germany)

• Joachim Baumeister (University of Würzburg)

• Stefan Brass (University of Halle, Germany)

• François Bry (Ludwig Maximilian University of Munich, Germany)

• Thomas Eiter (Vienna University of Technology, Austria)

• Gopal Gupta (UT Dallas, USA)

• Michael Hanus (University of Kiel, Germany)

• Petra Hofstedt (BTU Cottbus-Senftenberg, Germany)

• Ulrich John (IU International University of Applied Sciences, Germany)

• Grzegorz J. Nalepa (Jagiellonian University in Kraków, Poland)

• Enrico Pontelli (New Mexico State University, USA)

• Paulo Quaresma (University of Évora, Portugal)

• Pedro Rangel Henriques (University of Minho, Portugal)

• Irene Rodrigues (University of Évora, Portugal)

• Ken Satoh (NII, Tokyo, Japan)

• Sibylle Schwarz (HTWK Leipzig, Germany)

• Dietmar Seipel (University of Würzburg, Germany, co-chair)

• Alexander Steen (University of Greifswald, Germany)

• Hans Tompits (Vienna University of Technology, Austria)

• Felix Weitkämper (Ludwig Maximilian University of Munich, Germany)

Colocated Workshops (local pages)

• 39th Workshop on Logic Programming (WLP 2025)

• 16th Workshop on AI-based Management, Optimization and Configuration (MOC 2025)

• 2nd  Workshop on Intelligent Digitalization (IntDig 2025)

Contacts

The organizers may be contacted at declare2025@easychair.org.