--------------------------------------------------------------------------

CALL FOR PAPERS

DECLARE 2025 - Conference on Declarative Programming
Evora, Portugal, September 24-26, 2025

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

including
38th Workshop on Logic Programming (WLP 2025) and
16th Workshop on AI-based Management, Optimization
and Configuration (MOC 2025) and
2nd Workshop on Intelligent Digitalization (IntDig 2025)

--------------------------------------------------------------------------

[ conference website https://declare.di.uevora.pt/2025/ ]

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.

--------------------------------------------------------------------------

The workshops on (constraint) logic programming (WLP) serve as the
scientific forum of the annual meeting of the Society of Logic
Programming (GLP, Gesellschaft fuer Logische Programmierung
e.V.). They bring together researchers interested in logic
programming, constraint programming, and related areas like databases,
artificial intelligence, and operations research. Previous workshops
have been held in Germany, Austria, Switzerland, and Egypt.

Contributions are welcome on all theoretical, experimental, and
application aspects of constraint programming (CP) and logic
programming (LP), including, but not limited to the following areas:

* foundations of CP and LP;
* constraint solving and optimization;
* extensions: functional logic programming, objects;
* deductive databases, data mining;
* knowledge representation and reasoning (KRR);
* answer-set programming (inluding disjunctive logic programming);
* dynamics, updates, states, transactions;
* interaction of CP and LP with other formalisms
like agents, XML, JAVA;
* analysis, transformation and verification of programs,
meta programming;
* parallelism and concurrency;
* implementation techniques;
* software techniques and programming support (e.g., types, modularity,
design patterns, debugging, testing, systematic program development).
* applications of logic programming;
* CP/LP for the Semantic Web.

--------------------------------------------------------------------------

The workshop MOC 2025 addresses (further) developments, potentials,
aspects, ideas, concepts, models and applications related to AI
technologies in the context of management, optimization, configuration
and design as well as associated process and system issues.

Of particular interest (but not exclusively) are constraint-, rule-
and knowledge-based approaches as well as combinations of these with
BIG data technologies, GenAI approaches, other AI technologies and/or
also with classic methods. The use of quantum computing in the
implementation of selected solution approaches and the experience
gained in the process are also of interest.

The addressed approaches and the associated processes and organization
procedures have a very high potential for the intelligent design of
urgently needed transformations of a wide range of systems in the
economy and society (e.g. EU, states, companies, authorities, etc.).

Example domains for this are agile management (local and global) with
ever faster changing boundary conditions, the redesign /
reconfiguration and flexible control and monitoring of large supply
and delivery networks, the creation and operation of agile, efficient
corporate and functional networks as well as the planning and control
of a wide variety of systems to achieve targeted goals.

Key sub-areas here are the appropriate modelling of systems, the
transformation to favorable internal representations, the intelligent
optimization and reorganization of systems, the planning and control
of efficient and sustainable use of resources and the implementation
of IT functionalities based on the models created to support the
management of the systems addressed in each case.

Contributions are particularly welcome on the following topics:

* Concepts, applications and systems, e.g. planning and
configuration systems as well as management, decision support
and control systems
* New, extended or alternative programming and modeling aspects,
e.g. using domain-specific languages or multi-paradigm approaches
* New methods and use of methods and procedures of
artificial intelligence, constraint programming,
data science, operations research and their hybrid combination
* (Interactive) simulation and optimization systems to support
users in operational and/or strategic decisions,
e.g. by simulating and evaluating "what-if" scenarios
or by presenting alternative solutions
* Combination of data analytics with planning, configuration
and optimization approaches
* Topic-related applications and concepts in specific industries
and domains
* Aspects of teaching in relation to the topics mentioned

The workshop is intended to give experts, users and interested parties
the opportunity to exchange and discuss ideas, approaches, processes
and problem solutions in order to ideally develop the basis, impetus
and ideas for further research and application activities.

--------------------------------------------------------------------------

The workshop on Intelligent Digitalization (IntDig 2025) pursues the
vision of making urgently needed and sensible digitalization in
business, industry and society feasible and feasible in a targeted and
timely manner.

To this end, the workshop addresses both the intelligent approach to
digitalization projects and the appropriate use of AI-based software
components in the resulting processes (also in digital twins), which
should implement intelligent functionalities, intelligent processes
and/or intelligent decision support in the best possible way.

In addition to AI-related aspects and suitable procedures for the
preparation, planning, monitoring and implementation of digitalization
projects (including digital transformations), necessary and/or
supportive systemic framework conditions for the success of
digitalization projects at various levels (companies, company
alliances, organizations, authorities, state, state alliances) are
also of interest for discussion.

Contributions are particularly (but not exclusively) welcome
on the following topics:

* Aspects for creating efficient system structures and processes
that ensure agility through suitable digital transformation
* AI and digitalization in production and logistics/supply chain management
* Digital twins as a basis for simulations, planning, reasoning
and/or documentation
* Approaches, aspects, frameworks and models for intelligent digitalization
* Self-organization/optimization of economic and organizational systems
* Approaches, aspects, models and methods of intelligent companies,
intelligent organizations, intelligent alliances, etc.
* Presentation of ongoing or implemented digitization projects
or digitization programs
* Analysis of ongoing or completed digitalization projects, digitalization
programs and "digitalization controls/digitalization committees"
* Lessons learned related to digitalization and digital transformation
* Investigations of potential in the context of intelligent digitalization
* Topic-related applications and concepts in specific industries and domains
* Aspects of teaching in relation to intelligent digitalization
and digital transformation

--------------------------------------------------------------------------

Important Dates
===============

Deadline for submissions: June 8, 2025
Notification of authors: July 18, 2025
Camera-ready papers: August 8, 2025

Conference & Workshops: September 24-26, 2025


Submissions
===========

Declare

Authors are invited to submit long papers (no longer than 15 pages)
or short papers (no longer than 6 pages) in the following categories:
* technical papers;
* application papers;
* system descriptions.
We also encourage submissions of PhD students (no longer than 6 pages),
submissions describing historical aspects of declarative and logic
programming, as well as personal reminiscences about their early days.

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 as well.
All submissions must be in PDF format using LaTeX2e and the Springer
llncs.cls class file. Paper submission will be electronic via the
Easychair submission system.

All accepted papers will be published in@technical report.
As for previous events of Declare, it is planned to publish
selected papers in@post-conference proceedings volume in the
Springer Lecture Notes in Artificial Intelligence (LNAI) series.


Workshops

see separate Calls for Papers


Organisation
============

Conference Chairs
-----------------

* Salvador Abreu (University of Évora)
* Dietmar Seipel (University of Würzburg)
* Francisco Coelho (University of Évora)


Program Committee (Declare)
---------------------------

* Slim Abdennadher (German University of Cairo, Egypt)
* Salvador Pinto Abreu (University of Évora, Portugal)
* 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, Las Cruces, 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)
* Alexander Steen (University of Greifswald, Germany)
* Hans Tompits (Vienna University of Technology, Austria)
* Felix Weitkämper (Ludwig Maximilian University of Munich, Germany)


Workshop Chairs
---------------

* Sibylle Schwarz (HTWK Leipzig, Germany) -
WLP 2025
* Ulrich John (IU International University of Applied Sciences, Germany) -
MOC 2025
IntDig 2025

Local Organization
------------------

* Francisco Coelho (University of Évora, chair)


Contact
-------
* declare2025@easychair.org


Homepage
--------
* https://declare.di.uevora.pt/2025/