6-9 Apr 2020
Hangzhou, China
CFP: The 3rd International Conference on Logic and Argumentation (CLAR 2020), 6-9 April 2020, Hangzhou, China Proceedings: on site Springer LNCS (TBC), post: Journal of Logic and Computation. Deadline: November 30, 2019 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 Conferences on Logics in Artificial Intelligence (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 a special issue of the Journal of Logic and Computation. 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 CLAR 2020 and ZJULogAI are in collaboration with the Second Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning: Monotonicity in Logic and Language, 10-12 April 2020 ( http://tsinghualogic.net/JRC/?page_id=1576). ************************ 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 Notification: 10 January 2020 Camera-Ready: 31 January 2020 Conference: 6-9 April 2020 ************************ PC members (to be completed) ************************ Thomas Ågotnes, University of Bergen Johan van Benthem, University of Amsterdam & Stanford University Pietro Baroni, University of Brescia Stefano Bistarelli, Università di Perugia Alexander Bochman, Holon Institute of Technology Thomas Bolander, Technical University of Denmark Weiwei Chen, Sun Yat-Sen University Zoé Christoff, University of Bayreuth Agata Ciabattoni, Vienna University of Technology Dragan Doder, University of Belgrade Shanshan Du, Wuhan University Massimiliano Giacomin, University of Brescia Guido Governatori, CSIRO Norbert Gratzl, Ludwig Maximilian University of Munich Davide Grossi, University of Groningen Jiahong Guo, Beijing Normal University Andreas Herzig, IRIT-CNRS Wesley Holliday, UC Berkeley Jeff Horty, University of Maryland Fengkui Ju, Beijing Normal University Souhila Kaci, LIRMM Hannes Leitgeb, Ludwig Maximilian University of Munich Hengfei Li, Shandong Jianzhu University Fenrong Liu, Tsinghua University Hu Liu, Sun Yat-sen University Emiliano Lorini, IRIT-CNRS, Université Paul Sabatier, Toulouse Réka Markovich, University of Luxembourg Alessandra Marra, University of Bayreuth Thomas Meyer, University of Cape Town and CAIR Sara Negri, University of Helsinki Nir Oren, University of Aberdeen Eric Pacuit, University of Maryland Valeria de Paiva, Samsung Research America and University of Birmingham Gabriella Pigozzi, Université Paris-Dauphine Henry Prakken, University of Utrecht & University of Groningen R. Ramanujam, Institute of Mathematical Sciences, Chennai Chenwei Shi, Tsinghua University Guillermo R. Simari, Universidad del Sur in Bahia Blanca. Sonja Smets, University of Amsterdam Christian Strasser, Ruhr-University Bochum Yì N. Wáng, Zhejiang University Xuefeng Wen, Sun Yat-sen University Stefan Woltran, Vienna University of Technology Jiachao Wu, Shandong Normal University Yun Xie, Sun Yat-sen University Yuming Xu, Shandong Univers Tomoyuki Yamada, Hokkaido University Fan Yang, University of Helsinki Teng Ying, Zhejiang University City College Zhe Yu, Sun Yat-sen University ************************ 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