Session 01

Invited Talk and Modal Logic

Invited Talk 09:00–10:00

Argument Calculi: What Happens When Defeasible Rules Become Explicit Objects of Reasoning?

Kees van Berkel

10:00–10:30

Axiomatization of Parity Modal Logic in Image-Finite Kripke Frames

Zhiguang Zhao

Session 02

Weighted Argumentation

11:00–11:30

Safety, Oscillation, Liveness, and Fairness in Quantitative Argumentation Dialogues

Arunavo Ganguly, Julian Alfredo Mendez and Timotheus Kampik

11:30–12:00

Some Observations about Nonmonotonic and Pseudo-Nonmonotonic Effects in Quantitative Bipolar Argumentation

Timotheus Kampik, Arunavo Ganguly and Filip Naudot

12:00–12:30

LLM-Driven Argumentation for Explainable Text Classification

Dennis Craandijk, Floris Bex and Henry Prakken

Session 03

Argument Mining

14:30–15:00

Agentic LLMs for Argument Mining in Philosophical Texts

Maximilian Noichl and Jan Broersen

15:00–15:30

A Multilingual Argument and Value Mining Corpus from Public Debate

Davide Liga, Liuwen Yu and Réka Markovich

Session 04

Semantics and Reasoning

16:00–16:30

Collective Argumentation with Labellings: A Dynamic Impossibility Perspective

Weiwei Chen and Xiaolong Liu

16:30–17:00

A Characterization of ASPIC+ Frameworks in Sequent-Based Formal Argumentation

Kees van Berkel, Luca Redondi and Christian Straßer

17:00–17:30

Admissibility Before Argumentation: Procedural Semantics for Norm-Governed Reasoning

Rob Christiaanse