Programme

Oct 15 Tuesday (Hotel Meliá)

Time	Talk	Speaker	Institution
08.50 - 09.00	--- Welcome ---
09.00 - 09.45	Permissible Shared Knowledge	Huimin Dong	TU Wien
09.45 - 10.30	Exploring Nuanced Permissions within AI and Judicial Decision-making	Josephine Dik	TU Wien
10.30 - 11.00	--- Coffee Break ---
11.00 - 11.45	The LogiKEy methodogy in the era of LLMs	David Fuenmayor	Universität Bamberg
11.45 - 12.30	Multi-Layer Belief Model: Justified Belief for Uncertain and Conflicting Evidence	Daira Pinto Prieto	Universiteit van Amsterdam
12.30 - 14.00	--- Lunch Break ---
14.00 - 14.45	Legal Coding as a Software Engineering problem (keynote)	Matteo Cristani	Università degli Studi di Verona
14.45 - 15.30	Towards Automated Ethical Reasoning: Representing the AI Act in Higher-Order-Logic	Lara Lawniczak	Universität Bamberg
15.30 - 16.00	--- Coffee Break ---
16.00 - 16.45	Proving Regulatory Compliance: From Theoretical Complexity to Some (maybe applicable) Solutions	Silvano Colombo Tosatto	CSIRO
16.45 - 17.30	Weak Permission is not Well Founded (keynote)	Guido Governatori	Central Queensland University
19.30	--- Social Dinner ---

Oct 16 Wednesday (Belval, Room 1.030 of Maison du Nombre)

Time	Talk	Speaker	Institution
11.00 - 12.30	--- Informal Discussions ---
12.30 - 14.00	--- Lunch Break ---
14.00 - 14.45	Defeasible conditional ought in 2-D (keynote)	Xavier Parent	TU Wien
14.45 - 15.30	A Formal Model for Constructing Reasons and its Application to the Study of Accrual	Luca Redondi	Ruhr-Universität Bochum
15.30 - 16.00	--- Coffee Break ---
16.00 - 16.45	Reasons and Inheritance	Eliot Watkins	Ruhr-Universität Bochum
16.45 - 17.30	What is there to explain? Some initial remarks on deontic explanations	Blaž Istenič Urh	TU Wien
17.30 - ??.??	--- Coffee Break and Discussion ---

Oct 17 Thursday (Hotel Meliá)

Time	Talk	Speaker	Institution
09.00 - 09.45	Ethics and automation: Beyond value-ladenness (keynote)	Clayton Peterson	Univ. du Québec à Trois-Rivières
09.45 - 10.30	Norm Identification through Reflective Equilibrium	Tianwen Xu	Zhejiang University
10.30 - 11.00	--- Coffee Break ---
11.00 - 11.45	Numeric Default Logic: A Reason-Based Framework for Automatised Moral Decision-Making	Joris Graff	Universiteit Utrecht
11.45 - 12.30	Obligations and permissions, algebraically, selfextensionally, and (inverse) correspondence-theoretically (keynote)	Alessandra Palmigiano	Vrije Universiteit Amsterdam
12.30 - 14.00	--- Lunch Break ---
14.00 - 14.45	How proof systems model philosophical properties of mathematical proofs: a case study	Robin Martinot	Universiteit Utrecht
14.45 - 15.30	LogiKEy Plus: A Toolkit for Kids in 2030	Ali Farjami	University of Luxembourg
15.30 - 16.00	--- Coffee Break ---
16.00 - 16.45	Deontic Explanations Through Dialogue and 5 Key Challenges	Kees van Berkel	TU Wien
16.45 - 17.30	Is the governance of machine agents a social choice problem? (keynote)	Marija Slavkovik	University of Bergen

Oct 18 Friday (Luxembourg City)

Social activities