DECLARE 2025 - Conference on Declarative Programming
Évora, Portugal, September 24 - 26, 2025
DECLARE 2025 - Conference on Declarative Programming
Évora, Portugal, September 24 - 26, 2025
formerly International Conference on Applications of Declarative Programming and Knowledge Management (INAP)
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.
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.
Paper submission: August 4, 2025
Notification: August 22, 2025 (updated!)
Camera ready papers: August 31, 2025 (updated!)
Conference: September 24-26, 2025
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).
Online, at https://sge.uevora.pt/eventos/ver/1204.
Early
Start: July 28, 2025
End: September 5, 2025
Normal: 200€
Student: 100€
Regular
Start: September 6 , 2025
End: September 24, 2025
Normal: 250€
Student: 150€
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.
Salvador Abreu, University of Évora
Dietmar Seipel, University of Würzburg
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
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)
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)
The organizers may be contacted at declare2025@easychair.org.