Logic List Mailing Archive

CfP: CLAR 2025: the 6th International Conference on Logic and Argumentation, June 14 -16 2025, Taiyuan (China),

=========================
=================
CLAR 2025 The 6th International Conference on Logic and Argumentation

14th - 16th June 2025 Taiyuan (China)
=========================
=================


--------------------------
1. CLAR 2025
--------------------------

The 6th International Conference on Logic and Argumentation (CLAR 2025) inv
ites contributions from logic, artificial intelligence, philosophy, compute
r science, linguistics, law, and other areas studying logic and formal argu
mentation. CLAR 2025 will be held 14th-16th June 2025 at Shanxi University 
in Taiyuan.

CLAR 2025 aims to highlight recent advances in logic and argumentation and 
foster interaction in these two areas between researchers within and outsid
e China.

The interplay between logic and argumentation spans different disciplines a
nd historical eras: from ancient philosophy (Socrates' dialectics, Aristotl
e's logic) to contemporary computer science (dialogues, multiagent systems)
. Research in logic and argumentation offers formal or semi-formal models t
hat capture reasoning patterns and dialogue activities of diverse kinds. Th
eir applications in artificial intelligence range from law and ethics to li
nguistics. CLAR 2025 will focus on a variety of topics and formalisms, incl
uding formal models of argumentation (abstract or structured), preference a
nd support, but also dispute and dialogue systems for online argumentation 
or the processing of legal texts.

Established in 2016 as a workshop hosted by Zhejiang University, the CLAR s
eries has been increasingly successful and become an international event an
d discussion forum in the two areas of logic and argumentation. Our aim for
 CLAR 2025 is to be a platform for the advancement of the existing discussi
ons within each of the areas above, to span bridges between their different
 traditions, and finally to open argumentation to new applications and othe
r areas in artificial intelligence, such as legal reasoning, explainable AI
, ethical dilemmas, reasoning about uncertainty and knowledge representatio
n, etc. Previous conferences can be accessed via: https://www.zlaire.net/cl
ar/.

Information about CLAR 2025 can be found at the conference website: https:/
/www.zlaire.net/clar2025/.


--------------------------
2. Important Dates
--------------------------

Submission deadline: 1st Feb 2025, AoE timezone (Anywhere on Earth)


Notification: 15th March 2025


Camera Ready: 30th March 2025


Conference dates: 14th - 16th June 2025


--------------------------
3. Invited Speakers
--------------------------

TBD


--------------------------
4. Topics
--------------------------

Suggested topics include, but are not limited to, the following:

* Abstract argumentation
* Applications of logic and/or argumentation
* Applied logic
* Argumentation and game theory
* Argumentation and law
* Argumentation and linguistics
* Argumentation and medical reasoning
* Argumentation and causal reasoning
* Argumentation and explainable AI
* Argumentation and ethical AI
* Argumentation and knowledge graph reasoning
* Argumentation and modal logics
* Argument mining
* Argumentation schemes
* BDI logic
* Computational argumentation
* Deontic logic
* Dynamic epistemic logic
* Belief revision
* Formal models for dialog and argumentation
* Informal logic
* Judgment aggregation
* Knowledge representation and reasoning
* Logic for game theory
* Logic for multi-agent systems
* Logic for semantic web
* Logic for social networks
* Mathematical logic
* Modal logic
* Nonmonotonic logics
* Numerical and uncertainty reasoning
* Philosophical logic
* Pragma-Dialectics
* Preference logic
* Probabilistic argumentation
* Quantitative argumentation
* Structured (i.e. logic-based) argumentation
* Uncertain argumentation

--------------------------
5. Dates and Venue
--------------------------

June 14th - 16th 2025, Shanxi University, Taiyuan (China).


--------------------------
6. PC Chairs
--------------------------

Thomas gotnes (University of Bergen, Norway; Shanxi University, China)
Dragan Doder (Utrecht University, the Netherlands)


--------------------------
7. Local Chair
--------------------------

Chao Xu (Shanxi University, China)



--------------------------
8. How to submit
--------------------------

We invite submissions describing original unpublished work, not currently u
nder review. Articles should not exceed 16 pages, excluding references.

Submission files can be uploaded on EasyChair: https://easychair.org/confer
ences/?conf=clar2025

The submitted work must be typeset using the LNCS latex package that can be
 found at:

https://www.springer.com/gp/computer-science/lncs/new-latex-templates-avail
able/15634678

Additional support material may be included in an appendix, although the ma
in file should be self-contained. CLAR 2025 PC members will be encouraged, 
but not requested, to consider this additional material in their evaluation.

Submissions exceeding the page limit or not adjusting to the format guideli
nes will be rejected without review.


--------------------------
9. Proceedings
--------------------------

The CLAR 2025 conference proceedings will be published by Springer LNAI vol
ume (Lecture Notes in Artificial Intelligence).


--------------------------
10. Best Paper Award
--------------------------

CLAR 2025 will present the best paper award to recognise outstanding contri
butions. Authors of the winning paper will receive a monetary award of EUR 
500, sponsored by Springer. (To be confirmed)


--------------------------
11. Special Issue
--------------------------

After the conference, a selection will be made among the papers accepted at
 CLAR 2025. The authors will be invited to submit an extended version for a
 special Issue in a high-impact journal. (To be confirmed)

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php