[Dgkl] First CfP - JELIA 2025 - 19th European Conference on Logics in AI

[giovanni.casini]

*** Apologies for cross-posting ***

=======================================
JELIA 2025 - FIRST CALL FOR PAPERS
=======================================
19th European Conference on Logics in Artificial Intelligence (JELIA 
2025)
September 1-5, 2025
Kutaisi International University
Kutaisi, Georgia
https://viam.science.tsu.ge/jelia2025/
=======================================


== IMPORTANT DATES ==

Abstract submission: 2 May 2025

Paper submission: 9 May 2025

Notification of acceptance: 1 July 2025

Camera-ready due:  10 July 2025

The Program Committee of the 19th European Conference on Logics in 
Artificial Intelligence (JELIA 2025) invites the submission of technical 
papers for the conference that will be held in Kutaisi, Georgia, from 
the 1st to the 5th of September 2025.


== AIMS AND SCOPE ==

The aim of JELIA 2025 is to bring together active researchers interested 
in the use of logics in Artificial Intelligence, in order to discuss 
current research, results, problems, and applications of both 
theoretical and practical nature. JELIA strives to foster links and 
facilitate cross-fertilization of ideas among researchers from various 
disciplines, among researchers from academia and industry, and between 
theoreticians and practitioners.

Authors are invited to submit papers presenting original and unpublished 
research in all areas related to the use of logics in Artificial 
Intelligence, including, but not limited to:

* Abductive and inductive reasoning
* Applications of logic-based AI systems
* Argumentation
* Automated reasoning including satisfiability checking and its 
extensions
* Causality and logics
* Computational complexity and expressiveness
* Deontic logic and normative systems
* Description logics and other logical approaches to ontologies
* Knowledge representation, reasoning, and compilation
* Learning and reasoning
* Logic programming, answer set programming, constraint logic 
programming
* Logics in machine learning
* Logics for uncertain and probabilistic reasoning
* Logics in multi-agent systems, games, and social choice
* Neural networks and logic rules
* Non-classical logics, such as modal, temporal, epistemic, dynamic, 
spatial, paraconsistent, and hybrid logics
* Nonmonotonic logics, default logics, conditional logics
* Planning and diagnosis based on logic
* Preferences and optimization
* Reasoning about actions
* Updates, belief revision and nonmonotonic reasoning

Submissions describing implemented systems/applications and their 
application area(s) are also welcome.


== SPECIAL TRACK ==

Also this year we will include a Special Track on Logics for Explainable 
and Trustworthy AI. We welcome contributions that explore logic-based 
approaches to making AI more transparent, safer, or more trustworthy. 
The track aims to draw attention to this timely topic and create a space 
for discussing the role of logic. The papers accepted for the special 
track will be presented in dedicated sessions at the conference.


== AWARDS  ==

JELIA 2025 is happy to announce that there will be Best Paper and Best 
Student Paper Prizes sponsored by Springer, each is a cash prize 
amounting to EUR 500. The Program Committee will select for this honor 
the contribution of the highest technical excellence and scientific 
merit. In the case of the latter award, the primary author of the paper 
must be a student at the time of submission.


== SUBMISSION DETAILS ==

Submission Site: https://easychair.org/conferences/?conf=jelia2025

JELIA 2025 welcomes submissions of long or short papers. All submissions 
should contain original research, and sufficient detail to assess the 
merits and relevance of the contribution. Submissions must not have been 
previously published or be simultaneously submitted for publication 
elsewhere; see also the note below.

All submissions should not exceed 13 pages for long papers and 6 pages 
for short papers (excluding references and acknowledgments, including 
everything else, for example figures), and should be written in English. 
Papers must be self-contained; appendices with additional material (such 
as proofs) will only be considered at the reviewers' discretion and will 
not be published. Submissions must be formatted according to the 
standard Springer LNCS style (see 
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines), 
and are not anonymous. The conference proceedings of JELIA 2025 will be 
published by Springer Verlag in the series Lecture Notes in Artificial 
Intelligence, a sub-series of Lecture Notes in Computer Science 
(important note: Springer will require all the LaTeX source files of all 
accepted submissions).


== CONFERENCE CHAIRS ==

** General Chair
Besik Dundua, Tbilisi State University & Kutaisi International 
University, Georgia

** Program Chairs
Giovanni Casini, CNR - Institute of Information Science and 
Technologies, Italy
Temur Kutsia, RISC, Johannes Kepler University, Austria

**Organization Chair
Mikheil Rukhaia, Institute of Applied Mathematics, Tbilisi State 
University, Georgia

**Organization Committee
Matthias Baaz, Vienna University of Technology
Mariam Gamsakhurdia, Vienna University of Technology
Revaz Grigolia, Tbilisi State University
Lia Kurtanidze, Georgian National University - SEU
Levan Uridia, Andrea Razmadze Mathematical Institute, Tbilisi State 
University

== POLICY ON MULTIPLE SUBMISSIONS ==

JELIA 2025 will not accept any paper that, at the time of submission, is 
under review or has already been published or accepted for publication 
in a journal or another conference. Authors are also required not to 
submit their papers elsewhere during JELIA's review period. However, 
these restrictions do not apply to previous workshops with a limited 
audience and without archival proceedings.

Any additional questions can be directed towards the JELIA Chairs:

For general inquiries: jelia2025 at easychair.org
For inquiries to the local organization: jelia2025 at gmail.com

We look forward to receiving your submissions and seeing you in Kutaisi 
in September 2025!