International Workshop on Logic, AI and Law (LAIL 2023) will be held on 11th-12th September 2023, at Guanghua Law School, Zhejiang University in Hangzhou, China. The workshop is associated with the national key project “Research on Logics for New Generation Artificial Intelligence” (2021-2025). The aim of the workshop is to explore the landscape of logics for the cutting-edge AI and law. It intends to be an international forum to promote the understanding of how logic can help to automate legal reasoning of various types, to represent legal knowledge in a machine readable and computable manner, to facilitate argumentation in different fields of law, to capture the dynamic and interactive feature of real-life legal practice, and finally, to bring together the knowledge system and data system of law in the new generation of AI.
This workshop is a satellite event of ZJULogAI2023 taking place at Zhejiang University from 8th - 12th September 2023.
The workshop will be organised in hybrid mode, with all online talks scheduled in the same session or day.


List of Topics
Topics include, but are not limited to the following:
· Automatic legal compliance checking
· Argument mining and formal models of legal argumentation
· Defeasible legal reasoning models
· Deontic logic for legal reasoning
· Evidential reasoning in law
· Explanation in AI & Law
· Formal models of legal concepts
· Formal models of rule-based legal reasoning
· Formal models of case-based legal reasoning
· Knowledge-based approach to automatic classification of legal text
· Legal knowledge representation
· Legal reasoning and big data
· Logical approach to ethical AI
· Reasoning in legal Semantic Web
· Reasoning about action and change in the legal domain
· Reasoning about dynamics of normative systems
· Reasoning on legal knowledge graph
· Reasoning with values in law
· Smart contract

Submission Guidelines
We invite submissions of full papers (within 16 pages excluding references) describing original works, unpublished and not currently under any review. Papers should be written in English, and use the template that can be retrieved from:
https://www.zlaire.net/lngai/download/LNGAI-latex-template.zip
Papers should be submitted in PDF format to the EasyChair portal:
https://easychair.org/conferences/?conf=lail2023
Additional support material may be included in an appendix, which may or may not be considered by the program committee.
Submissions not comply with the guidelines will be desk rejected.


Presentation & Publication
Accepted papers will be published with College Publications. Extended versions (after peer review) of selected contributions to LAIL 2023 will be published in a special Issue on Logics for New Generation Artificial Intelligence, ‘AI Logic’ corner, Journal of Logic and Computation.
For each accepted paper, at least one author is expected to register and present the paper at the workshop. We encourage in-person participation, but we also provide online option. The registration is free.


Important dates
· Submission: June 10th 2023 (Anywhere on Earth)
· Notification: July 15th 2023
· Camera Ready: July 31st 2023
· Workshop dates: September 11th-12th 2023

Program Chairs
· Réka Markovich, University of Luxembourg
· Bin Wei, Zhejiang University
· Minghui Xiong, Zhejiang University

Program Committee
· Katie Atkinson, University of Liverpool
· Le Cheng, Zhejiang University
· Huimin Dong, Sun Yat-Sen University
· Enrico Francesconi, Istituto di Informatica Giuridica e Sistemi Giudiziari (IGSG-CNR)
· Ming Hu, Zhejiang University
· Fengkui Ju, Beijing Normal University
· Davide Liga, University of Luxembourg
· Emiliano Lorini, Institut de Recherche en Informatique de Toulouse (IRIT)
· Juliano Maranhão, University of São Paulo
· Olivier Roy, Universität Bayreuth
· Xin Sun, Zhejiang Lab

Local Chair
Tianwen Xu, Zhejiang University