June 14th

08:20-09:00: Opening, speeches and group photo session.

09:00-10:00: Invited talk: Nicholas Asher, Investigating reasoning in language models.

10:00-10:15: Short break

10:15-11:05: Session.

—Yanjun Li, Jie Ren and Thomas Ågotnes. The Surprise Exam in Full Modal Fixed-Point Logic

—Yulin Chen, Beishui Liao, Bruno Bentzen, Bo Yuan, Zelai Yao, Haixiao Chi and Dov Gabbay. Interpretable Biomedical Named Entity Recognition via BLSTM with Talmudic Public Announcement Logic

11:05-11:20: Short break

11:20-12:10: Session.

—Lehuai Jiang and Wei Chen. Argumentation Framework with Attitude Classification: A New Approach to Handle Controversial Arguments, Defeat cycles and SeQlf-defeating Arguments

—Nguyen Duy Hung and Van Nam Huynh. Preference-based enforcement in argumentation

12:10-14:30: Lunch

14:30-15:30: Invited talk: Ryuta Arisaka, Argumentation and Logic: A Modern and Natural Connection.

15:30-16:00: Coffee break

16:00-16:50: Session.

—Ryo Takemura. A dialogical interpretation of cut-elimination and its application to argumentation theory

—John Lindqvist and Chenwei Shi. Argument-based belief and the evidence topology

16:50-17:05: Short break

17:05-17:55: Session.

—Liuwen Yu and Leendert van der Torre. The A-BDI Metamodel for Human-Level AI: Argumentation as Balancing, Dialogue and Inference

—Runcheng Liang. Which One Takes Priority?—Reflections on the Concept of Argument

June 15th

08:30-09:30: Invited talk: Nico Potyka, Logic and Argumentation for Explainable AI.

09:30-09:45: Short break

09:45-11:00: Session.

—Siyi Liu, Ziyi Gao, Beishui Liao and Chen Chen. On Pluralistic Methods for Explaining Argument Acceptance in Abstract Argumentation

—Zongshun Wang and Yuping Shen. On SCC-recursiveness in Quantitative Argumentation

—Xiaolong Liu and Weiwei Chen. Proportional Acceptability of Arguments

11:00-11:15: Short break

11:15-12:05: Session.

—Xuefeng Wen. Six Faces of Or-to-If

—Teeradaj Racharak, Watanee Jearanaiwongkul, Jiraporn Pooksook and Kazuki Takashima. Towards Assumption-based Argumentation Mining in Hotel Reviews

12:05-14:30: Lunch

14:30-15:30：Invited talk: Zoe Christoff, Majority illusions in social networks.

15:30-16:00: Coffee break

16:00-16:50: Session.

—Xiaoxuan Fu and Zhiguang Zhao. A Model Comparison Game for Basic Neighbourhood Logic

—Xu Li. Deontic Sufficiency in Dyadic Deontic Logic

16:50-17:05: Short break

17:05-17:55: Session.

—Piotr Kulicki and Robert Trypuz. Ontology of Autonomous Driving as a tool for argumentation on responsibility

—Jianying Cui and Ting Lan. A Proposal for the Reconstruction and Evaluation of Multimodal Argumentation in Print Advertisements

June 16th

08:30-09:30: Invited talk: Emiliano Lorrini, Preferences in concurrent games.

09:30-09:45：Short break

09:45-10:35: Session.

—Zixuan Chen and Fengkui Ju. Each of those eight coalition logics is also determined by four other kinds of models

—Yanjun Li. Reasoning in Coalition Planning

10:35-10:50: Short break

10:50-12:05: Session.

—Sylvie Doutre, Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly and Antonio Yuste-Ginel. Incomplete Higher-Order Abstract Argumentation Frameworks

—Anshu Xiong and Songmao Zhang. Relevance for Stability of Verification Status of a Set of Arguments in Incomplete Argumentation Frameworks

—Hengfei Li and Jiachao Wu. Validity of attacks related to argument set in higher-order argumentation frameworks