Agenda
Monday June 16 - Workshop Day 1
8:00 – Breakfast and Registration
9:00 – 13:00 – Workshops:
– 2° ConventicLe on Artificial Intelligence Regulation and Safety – CLAIRvoyantS | RB140
– ASAIL (Automated Semantic Analysis of Information in Legal Text) | RB150
– Legally Compliant Intelligent Chatbot. Challenges of Persuasion and Manipulation | RB140
– Technology-Assisted Review in the Law | Thorne
13:00 – 14:00 – Lunch Break
14:00 – 18:00 – Workshops (continued):
– 2° ConventicLe on Artificial Intelligence Regulation and Safety – CLAIRvoyantS | RB140
– ASAIL (Automated Semantic Analysis of Information in Legal Text) | RB150
– Legally Compliant Intelligent Chatbot. Challenges of Persuasion and Manipulation | RB140
– Technology-Assisted Review in the Law | Thorne
– Implementing Intelligence: Legal Challenges in Creating AI Solutions – a platform for sharing experiences | RB339
18:00 – 20:00 – Welcome Reception – Law School Atrium
For more information regarding workshops, please see the Workshops page.
Tuesday June 17 - Conference Day 1 - Thorne
7:30 – Participant Registration
7:50-8:00 – Opening Remarks
8:00-9:00 – Panel 1: AI Law and Ethics
| Time | |
| 8:00 FP (Full Paper) |
Non-Herculean Data: A Philosophical Intervention in a Technical Debate about Judicial Opinions as Data Sources Cox, Courtney M. |
| 8:20 FP |
AI-based Consumers’ Creditworthiness Fate Needs EU ‘Lawgorithmics’ to Innovate Rebelo, Diogo Morgado; Andrade, Francisco Pacheco de; Novais, Paulo |
| 8:40 SP (Short Paper) |
Technical AI Fairness Criteria Might Constitutionally Apply to U.S. Recidivism Risk Assessment Tools, but How and for Whom? Nguyen, Tin Trung; Xu, Jiannan; Nguyen Le, Phuong-Anh; Lazar, Jonathan; Braman, Donald; Daumé, Hal; Jelveh, Zubin |
| 8:50 SP |
Have your DAI in Court. The Role of Suggestive Algorithms in Judicial Decision-Making Comoglio, Paolo |
9:00-10:30 – Panel 2: Enhancing LLMs’ accuracy for legal text classification
| Time | |
| 9:00 FP |
Universal Legal Article Prediction via Tight Collaboration between Supervised Classification Model and LLM Chi, Xiao; Zhong, Wenlin; Wu, Yiquan; Wang, Wei; Kuang, Kun; Wu, Fei; Xiong, Minghui |
| 9:20 FP |
Curb Your Enthusiasm: Towards a RAG Framework to Forecast Case Importance in the ECHR Bareham, David; Atkinson, Katie; Mumford, Jack; Marshall, Jeremy |
| 9:40 FP |
Learning from Computer Vision: The Effects of Loss Functions on Legal Text Classification with Class Imbalance Wais, Niklas; Grabmair, Matthias |
| 10:00 SP |
Improved Understanding of Legal Text with Graph Attention Networks Shin, Andrew; Kaneko, Kunitake |
| 10:10 SP |
Optimizing Prompts for Legal Document Classification de Vasconcelos SIlveira, Francisca Raquel; López Matias, João Víctor;Ponte Silva, Caio César; Donza Corrêa, Isadora; Ferreira da Costa, André Câmara; Furtado, Vasco |
| 10:20 SP |
EVENS: Equality versus Equity Notion Spectrum of LLMs Chen, Qingjing; Cheng, Rongxin; Xie Zi Heng; Liu, Yan; Zhao, Kangxin; Li, Peiming; Shen, Weixing; Liu, Yun; Rotolo, Antonino |
10:30-11:00 – Coffee Break
11:00-12:00 – Invited Talk 1: Daniel Katz: “A.I. and Law 2025: Lessons from Yesterday,
Solutions for Today, Visions for Tomorrow”
12:00-13:00 – Panel 3: Enhancing LLMs’ accuracy for legal drafting and information retrieval
| Time | |
| 12:00 FP |
Bridging Legal Knowledge and AI: Retrieval-Augmented Generation with Vector Stores, Knowledge Graphs, and Hierarchical Non-negative Matrix Factorization Barron, Ryan Calvin; Eren, Maksim Eken; Serafimova, Olga M; Matuszek, Cynthia; Alexandrov, Boian |
| 12:20 SP |
Summarization of German Judgments in conjunction with a Class-based Evaluation Steffes, Bianca; Wiedemann, Nils Torben; Gratz, Alexander; Hochreither, Pamela; Meyer, Jana Elina; Schilke, Katharina Luise |
| 12:30 SP |
Faithfulness and Content Selection in Long-Input Multi-Document Summarization of CivilU.S. Civil Rights Litigation Sebire, Isabel; Barale, Claire; Lapata, Mirella |
| 12:40 SP |
Exploring Metric Correlation for Legal Text Summarization Zanatti, Martim; Ribeiro, Ricardo;Pinto, H.Sofia |
| 12:50 SP |
What Is the Law? A System for Statutory Research (STARA) with Large Language Models Surani, Faiz; Gailmard, Lindsey A.; Casasola, Allison; Magesh, Varun; Robitschek, Emily J.; Ho, Daniel E. |
13:00-14:00 – Lunch Break
14:00-15:00 – Karl Branting Industry Meeting
– 14:00 – 14:08 – Thomson Reuters, Frank Schilder, Sr. Director, Thomson Reuters Foundational Research
– 14:08 – 14:16 – Lexis Nexis, Jennifer Stringfield, Subject Matter Advisor – Artificial Intelligence, IP, & Cybersecurity
– 14:16 – 14:24 – JusBrasil, Luiz Paulo Pinho, Jusbrasil cofounder
– 14:24 – 15:00 – Open Discussion
15:00-16:00 – Panel 4: Legal Knowledge Representation 1
| Time | |
| 15:00 FP |
On Compatibility between Situation Outcome Cases and Logical Cases Fungwacharakorn, Wachara; Paulino-Passos, Guilherme; Verheij, Bart; Satoh, Ken |
| 15:20 FP |
DeCoRA: Definition and Context Reasoning in Argumentation Mai, Ngoc-Duy; Le, Xuan-Bach; Vuong, Thi-Hai-Yen; Nguyen, Ha-Thanh; Stathis, Kostas; Satoh, Ken |
| 15:40 FP |
Evaluating Methods for Scenario Reasoning using Bayesian Networks in Exhaustive and Non-Exhaustive Settings van Leeuwen, Ludi Simone; Verheij, Bart; Verbrugge, Rineke; Renooij, Silja |
16:00-16:30 – Coffee Break
16:30-17:30 – Panel 5: Legal Knowledge Representation 2
| Time | |
| 16:30 FP |
Reporting Requests Modelling in European Legislation with a Hybrid AI Approach Corazza, Michele; Palmirani, Monica; Sapienza, Salvatore; Longo, Generoso |
| 16:50 FP |
Justifying Black-Box Predictions with Domain Knowledge Peters, Joeri; Bex, Floris; Prakken, Henry |
| 17:10 SP |
Graph-Based Categorization of Court Decisions by Legal Domain Varga, Dávid; Szoplák, Zoltán; Horvát, Šimon; Gurský, Peter; Krajči, Stanislav |
17:30-18:30 – Demonstration Session
| Time | |
| 17:30 | Data Augmented Pipeline for Legal Information Extraction and Reasoning Nguyen, Phuong Minh; Nguyen, Ha-Thanh; Zin, May Myo; Satoh, Ken |
| 17:35 | Ordinance Template Composition System Kakuta, Tokuyasu; Yoshimura, Kyoko; Owa, Tamaki; Sasaki, Ukyo; Saito, Daich |
| 17:40 | ViNo — A Tool for the Visualisation of Norms Steffes, Bianca; Sasdelli, Diogo |
| 17:45 | Scaling Legal Workflows with PluribusUnum: A Neuro-Symbolic Framework for Generative AI in High-Stakes Domains Ndikum, Philip; Ndikum, Serge |
| 17:50 | Leveraging Artificial Intelligence as a Decision Support System in Belgian Commercial Courts Van Ruymbeke, Stijn; Audenaert, Aruna; Arno, Henri; Habils, Tibe; Baeck, Joke; Mulier, Klaas; Demeester, Thomas |
| 17:55 | ALEXChat: a Generative – Symbolic Approach to Legal eXplainability Billi, Marco; Parenti, Alessandro; Pisano, Giuseppe; Sanchi, Marco |
| 18:00 | Explainy: A Toolkit for Legal-XAI Kesari, Aniket; Ash, Elliott; Bechtold, Stefan; Luzzatto, Mauro |
| 18:05 | AF-XRAY: Visual Explanation and Resolution of Ambiguity in Legal Argumentation Frameworks Xia, Yilin; Zheng, Heng; Bowers, Shawn; Ludaescher, Bertram |
| 18:10 | Feasibility of Artificial Intelligence Driven Analysis in the Context of Nepalese Legal System Dhakal, Abhiyan; Kafle, Pranish; Paudel, Kausik; Sujakhu, Sugat; Poudyal, Prakash |
| 18:15 | Legal Explanation in Defeasible Deontic Logic via LegalRuleML Governatori, Guido; Palmirani, Monica |
| 18:20 | MAIA:AI System for Repetitive Demand Resolution in Brazil Barbosa Pacheco, Eduardo Caruso; Machado Pinto, Glauber |
| 18:25 | A Demonstration of a Semi-Structured Legal Reasoning Framework Westermann, Hannes |
Wednesday June 18 - Conference Day 2 - Thorne
7:00-8:00 – Breakfast
7:30 – Participant Registration
8:00-9:00 – Panel 1: Evaluating LLMs’ performance for information retrieval
| Time | |
| 8:00 FP |
Assessing the performance gap between lexical and semantic models for information retrieval with formulaic legal language Mori, Larissa; Sousa de Oliveira, Carlos; Yih, Yuehwern; Ventresca, Mario |
| 8:20 FP |
“Lost in EU Regulation? Don’t Worry, AI Found the Obligation” – Extracting and Representing Legal Obligations in the GDPR, the DSA, and the AI Act Raulino Dal Pont, Thiago; Galli, Federico; Sartor, Galileo; Contissa, Giuseppe |
| 8:40 SP |
Understanding Legal Reasoning With LLMs: A Systematic Study of Performance, Scale, and Memorization Arvin, Chuck |
| 8:50 SP |
Is Selective Masking A Key to Improving Domain Adaptation for Masked Language Model? Belfathi, Anas; Gallina, Ygor; Hernandez, Nicolas; Monceaux, Laura; Dufour, Richard |
9:00-10:30 – Panel 2: Enhancing LLMs’ performance for legal text classification
| Time | |
| 9:00 FP |
Is It Worth Using LLMs for Unfair Clause Detection in Terms of Service? Panarelli, Marco; Galassi, Andrea; Lagioia, Francesca; Liepiņa, Rūta; Lippi, Marco; Pałka, Przemysław; Sartor, Giovanni |
| 9:20 FP |
Using Interpretability to Uncover Legal Petition Structures and Optimize Text Classification Almeida, Vitor; Pires, Rilder S.; Monteiro Neto, João A.; Furtado, Vasco |
| 9:40 FP |
From Legal Text to Tech Specs: Generative AI’s Interpretation of Consent in Privacy Law Kesari, Aniket; Breaux, Travis; Norton, Thomas; Santos, Sarah; Singhal, Anmol |
| 10:00 FP |
LLMs for Legal Subsumption in German Employment Contracts Wardas, Oliver; Matthes, Florian |
| 10:20 SP |
Are manual annotations necessary for statutory interpretations retrieval? Smywiński-Pohl, Aleksander; Libal, Tomer; Kaczmarczyk, Adam; Król, Magdalena |
10:30-11:00 – Coffee Break
11:00-12:00 –Invited Talk 2 – Leon van der Torre & Kristian Hammond: Artificial General Intelligence and Law
12:00-13:00 – Lunch Break
13:00-14:00 – IAAIL General Meeting
14:00-15:20 – Panel 3: Evaluating LLMs’ performance for legal drafting
| Time | |
| 14:00 FP |
AI for Statutory Simplification: A Comprehensive State Legal Corpus and Labor Benchmark Hariri, Emaan; Ho, Daniel |
| 14:20 FP |
DRAssist: Dispute Resolution Assistance using Large Language Models Pawar, Sachin Sharad;Apte, Manoj;Palshikar, Girish Keshav; Ali, Basit; Ramrakhiyani, Nitin |
| 14:40 SP |
Automatic Legal Writing Evaluation of LLMs Pires, Ramon; Malaquias Junior, Roseval; Nogueira, Rodrigo |
| 14:50 SP |
LLMs Provide Unstable Answers to Legal Questions Blair-Stanek, Andrew; Van Durme, Benjamin |
| 15:00 SP |
Human-Machine Legal Preference Benchmarking: An Experimental Pilot Evaluating the Comparative Performance of LLM Models, Enterprise Tools, and Humans on Legal Tasks Ranjan, Riya; Ma, Megan |
| 15:10 SP |
Finding the Goldilocks Zone: Retrieving Citation Context Mumford, Jack; Bareham, David; Atkinson, Katie; Marshall, Jeremy |
15:20-15:40 – Coffee Break
15:40-17:00 – Panel 4: Combining LLMs with reasoning and explanation 1
| Time | |
| 15:40 FP |
Generating Legal Arguments with Automatically Identified Factor Magnitudes Gray, Morgan; Savelka, Jaromir; Oliver, Wesley; Ashley, Kevin |
| 16:00 FP |
Decoding SEC Actions: Enforcement Trends through Analyzing Blockchain Litigation using LLM-based Thematic Factor Mapping Luo, Junliang; Xiong, Xihan; Knottenbelt, William; Liu, Xue |
| 16:20 FP |
Automated Mapping of Legal Criteria to the Texts of Adjudicatory Decisions Using LLMs Westermann, Hannes; Walker, Vern; Savelka, Jaromir |
| 16:40 SP |
Deep Interaction Timing: FOL-based Complexity Differentiation for Legal Queries Zhang, Tong; Wu, Yiquan; Yao, Rujing; Zhang, Qianyu; Sun, Changlong; Wang, Chenghao; Liu, Xiaozhong |
| 16:50 SP |
OSIRIS: A Domain-Guided Framework for Tax Foreclosure Automation Using Large Language Models Braz, Fabricio Ataides; da Silva, Nilton Correia; de Siqueira, Eduardo Camargo; Nishi, Luciana; Bonat, Débora; Bertoncini, Cristina; Melo, Izabela Frota |
18:00 – 21:00 – Conference Dinner – Beatrix Restaurant
Thursday June 19 - Conference Day 3 - Thorne
7:00-8:00 – Breakfast
7:30 – Participant Registration
8:00-9:00 – Panel 1: Combining LLMs with Reasoning and Explanation 2
| Time | |
| 8:00 FP |
Automating Legal Reasoning with Generative AI: A Framework for Judicial Decision Support Bomfim, Francisco das Chagas Jucá; das Neves, Alicia Souza; Silva, Sara Pessoa; Monteiro Neto, Joao Araujo; Furtado, Vasco; Pinheiro, Vladia |
| 8:20 FP |
Addressing the Right to Explanation and the Right to Challenge through Hybrid-AI: Symbolic Constraints over Large Language Models via Prompt Engineering Liga, Davide; Markovich, Réka; Yu, Liuwen |
| 8:40 SP |
Multi – agent Cooperative Mechanisms for Legal Adjudication: The Crucial Role of Automatic Prompt Optimization Ma, JiaYu; Wang, Shengran, Yun Liu |
| 8:50 SP |
Parameterized Argumentation-based Reasoning Tasks for Benchmarking Generative Language Models Steging, Cor; Renooij, Silja; Verheij, Bart |
9:00-10:30 – Panel 2: Formal models of legal reasoning 1
| Time | |
| 9:00 FP |
A Causal Model Checker for Legal Cases Liepina, Ruta; de Lima, Tiago; Lorini, Emiliano; Pisano, Giuseppe; Sartor, Giovanni |
| 9:20 FP |
Tipping the Scales: Balancing Principles Araszkiewicz, Michal; Zurek, Tomasz; Wyner, Adam; Van Engers, Tom |
| 9:40 FP |
Judicial Discretion as Normative Reasoning: Deontic Characterization of Judicial Decision Making with Answer Set Programming Dik, Josephine; Markovich, Réka |
| 10:00 FP |
Modelling Cause-in-Fact in Legal Cases through Defeasible Argumentation Pisano, Giuseppe; Prakken, Henry; Sartor, Giovanni; Liepina, Ruta |
| 10:20 SP |
Judicial Permission Governatori, Guido; Rotolo, Antonino |
| 10:30 SP |
Rule-based Classifier Models Di Florio, Cecilia; Dong, Huimin; Rotolo, Antonino |
10:40-11:00 – Coffee Break
11:00-12:00 – President’s Address – Monica Palmirani: AI in Parliament to support the
legislative process: legal theory, methods, applications
12:00-13:00 – Lunch Break
13:00-14:00 – Legal Practice Meeting
– 13:00 – 13:08 – Invited talk, by Sarah Lawsky
– 13:08 – 13:16 – LegalMation talk, by James Lee
– 13:16 – 13:24 – 1st Impulse: AI use in law firms worldwide, by Michal Arasksiewicz and Michał Jackowski
– 13:24 – 13:30 – 2nd Impulse: The use of GenAI in Brazilian Law Courts, by Juliano Maranhão
– 13:30 – 14:00 – Open Discussion
14:00-15:10 – Panel 3: Formal Models of Legal Reasoning 2
| Time | |
| 14:00 FP |
Rule-based Deontic Case-based Reasoning Rotolo, Antonino; Di Florio, Cecilia; Governatori, Guido |
| 14:20 FP |
Formal Results on Case-Base Consistency: A COMPAS Case Study van Woerkom, Wijnand Koen |
| 14:40 FP |
Intents in Actions Friedenberg, Meir; Halpern, Joseph |
| 15:00 SP |
Probabilistic Analysis of Copyright Disputes and Generative AI Safety Chiba-Okabe, Hiroaki |
15:10-15:30 – Coffee Break
15:30-17:00 – Panel 4: Computable Law
| Time | |
| 15:30 FP |
Applying a Fidelity Approach to Choices in Encoding Legislation Godfrey, Nicholas |
| 15:50 FP |
Towards Machine-Readable Traffic Laws: Formalizing Traffic Rules into PROLOG Using LLMs Zin, May Myo; Borges, Georg; Satoh, Ken; Fungwacharakorn, Wachara |
| 16:10 FP |
You Take the High Road, and I’ll Take the Low Road – Large Language Models, Logical English, and the Highway Code Dal Pont, Thiago; Sartor, Galileo; Wyner, Adam; Sartor, Giovanni |
| 16:40 FP |
Logical Modalities within the European AI Act: An Analysis Lawniczak, Lara; Benzmüller, Christoph |
| 16:50 SP |
Cross-Border Legal Adaptation of Autonomous Vehicle Design based on Logic and Non-monotonic Reasoning Yu, Zhe; Lu, Yiwei; Schafer, Burkhard; Lin, Zhe |
| 17:00 | An Overview of the COLIEE 2025 Competition: Legal Case Law and Statute Law Information Retrieval and Entailment Goebel, Randy; Kano, Yoshinobu; Kim, Mi-Young; Kwan, Calum; Satoh, Ken; Yamada, Hiroaki; Yoshioka, Masaharu |
17:20-17:40 – ICAIL2025’s Metrics & Closing remarks
Friday June 20 - Workshop Day 2
7:30-9:30 – Breakfast
8:00 – Registration
9:00 – 13:00 – Workshops:
– AI4A2J at ICAIL 25 | RB150
– Argument Mining and Empirical Legal Research | RB140
– MULTILINGUAL WORKSHOP ON AI & LAW RESEARCH 2025 (MWAIL2025) | RB339
– The 12th Competition on Legal Information Extraction and Entailment (COLIEE 2025) | Thorne
– ICAIL 2025 Doctoral Consortium | RB254
– Unlocking Legal Automation: Mastering Rules as Code with Defeasible Deontic Logic | RB175
13:00 – 14:00 – Lunch Break
14:00 – 18:00 – Workshops (continued)
For more information regarding workshops, please see the Workshops page.