--------------------------------------------------------------------------
DECLARE
Call for Contributions to a Post-Conference Proceedings
WWW: https://declare.di.uevora.pt/2025/
Contact: declare2025@easychair.org
--------------------------------------------------------------------------
DECLARE 2025, the conference on Declarative Programming was held in
Evora, Portugal, on September 24-26, 2025. This event was formerly
called 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 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.
DECLARE included the tracks on Logic Programming (WLP 2025), on AI-based
Management, Optimization and Configuration (MOC 2025) and on Intelligent
Digitalization (IntDig 2025).
The accepted papers have been included in a technical report.
As for previous events of DECLARE, we will publish selected papers in a
post-conference proceedings volume in the Springer Lecture Notes in
Artificial Intelligence (LNAI) series.
We invite all authors of the conference proceedings to moderately
extend, improve and refine their papers building on the previous ones
and resubmit. We will also be happy to receive further relevant
submissions from colleagues in the field. All submissions will
undergo a fresh round of reviews.
Submissions
-----------
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:
https://easychair.org/conferences/?conf=declare2025
Important Dates
---------------
Deadline for submissions: 04. May 2026
Notification of authors: 08. June 2026
Camera-ready papers: 12. July 2026
--------------------------------------------------------------------------
DECLARE
-------
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 (in no particular order):
* 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.
--------------------------------------------------------------------------
WLP
---
WLP brings together researchers interested in logic
programming, constraint programming, and related areas like databases,
artificial intelligence, and operations research.
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 (including 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.
--------------------------------------------------------------------------
MOC
---
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.
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
* Combination of data analytics with planning, configuration
and optimization approaches
* Topic-related applications and concepts in specific industries
and domains
--------------------------------------------------------------------------
IntDig
------
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.
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
* Digital twins as a basis for simulations, planning, reasoning
and/or documentation
* Approaches, aspects, models and methods of intelligent companies,
intelligent organizations, intelligent alliances, etc.
* 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
--------------------------------------------------------------------------