Logic List Mailing Archive

CLAR 2020: Logic & Argumentation

6-9 Apr 2020
Hangzhou, China

------------------------------------------------------------
The 3rd International Conference on Logic and Argumentation
CLAR 2020, 6-9 April 2020, Hangzhou, China

CALL FOR PAPERS
------------------------------------------------------------

The 3rd International Conference on Logic and Argumentation (CLAR 2020) 
invites interdisciplinary contributions from logic, artificial 
intelligence, philosophy, computer science, linguistics, law, and other 
areas studying logic and formal argumentation.

CLAR 2020 will be held in Hangzhou, 6-9 April 2020, as part of the 
Zhejiang Logic for AI Summit (ZJULogAI 2020). With a special focus on 
?methods and tools for explainable AI?, a core objective of ZJULogAI is to 
present the latest developments and progress made on the crucial question 
of how to make AI more transparent, trustworthy and accountable, both in 
China as well as in the rest of the world. All participants to CLAR 2020 
have access to all other events of ZJULogAI as well.

Proceedings with accepted submissions will be available during the 
conference, and extended versions will be published after the conference 
in special issues of the Journal of Logic and Computation and the Journal 
of Applied Logics.

More information can be found at the websites:

http://www.xixilogic.org/events/clar2020 (CLAR 2020)
https://www.xixilogic.org/zjulogai/ (ZJULogAI)

CLAR 2020 conference highlights recent advances in the two fields of logic 
and argumentation and promotes communication between researchers in logic 
and argumentation within and outside China. Previous conferences can be 
accessed at:

http://www.xixilogic.org/events/clar2018
http://www.xixilogic.org/events/clar2016


************************
List of 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 in AI
* Argument mining
* Argumentation schemes
* BDI logic
* Computational argumentation
* Deontic logic
* Dynamic epistemic logic and 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 network
* Mathematical logic
* Modal logic
* Nonmonotonic logics
* Numerical and uncertainty reasoning
* Philosophical logic
* Pragma-Dialectics
* Preference logic
* Structured argumentation
* Uncertain argumentation


************************
Submission Guidelines
************************

We invite two types of submissions: full papers (between 8 and 20 pages) 
describing original and unpublished work and extended abstracts (max 5 
pages) of preliminary original work or extended abstracts of already 
published work, from either the field of logic or the field of formal 
argumentation. Additional support material may be included in an appendix, 
which may be considered or ignored by the program committee.

Submissions must be prepared in LaTeX, using the LaTex template 
myifcolog.cls:

http://icr.uni.lu/flap/

Submissions not complying with these guidelines will be desk rejected.

Papers in PDF format should be submitted via EasyChair:

https://easychair.org/conferences/?conf=clar2020

Each submitted paper will be carefully peer-reviewed by a panel of PC 
members based on originality, significance, technical soundness, clarity 
of exposition and relevance for the conference. For each accepted paper, 
at least one author is expected to register and present the paper at the 
conference.

************************
Important Dates
************************
Submission: 30 November 2019
Conference: 6-9 April 2020


************************
PC Chairs
************************

Mehdi Dastani, Utrecht University
Huimin Dong, Zhejiang University
Leon van der Torre, University of Luxembourg


************************
Contact
************************

All questions about submissions should be emailed to: clar2020@xixilogic.org
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam