Provisional Schedule
Monday and Tuesday are dedicated to the LoDEx workshop.
Monday, 19 October
LoDEx Workshop — Day 1 (Room MNO 1.010)
| Time | Speaker / Session | Institution | Title |
|---|---|---|---|
| 10h00-11h00 | LoDEx session 1 | ||
| Leon van der Torre | University of Luxembourg | Reasoning Under Construction: Prospective Coherence in Base Argumentation | |
| Luca Redondi | R.U. Bochum and U. of Luxembourg | Moral Principles in ASPIC+: A Formal Analysis of Competing Views | |
| 11h00-11h30 | Coffee break | ||
| 11h30-12h30 | LoDEx session 2 | ||
| Josephine Dik | University of Luxembourg | Reasoning with Values in Norm-based Argumentation | |
| Réka Markovich / Liuwen Yu | University of Luxembourg / Luxembourg Institute of Science and Technology | From Interpretation to Balancing: Modeling Judicial Discretionary Decision Making with Argumentation | |
| 12h30-14h00 | Lunch break | ||
| 14h00-15h30 | LoDEx session 3 | ||
| Kees van Berkel | Technical University of Vienna | Normative Narrator: Guiding and Explaining Reinforcement Learning Agents | |
| Dominik Pichler | Technical University of Vienna | Beyond Global Invariance: S4 Semantics for Conditional Obligation | |
| Blaž Istenič Urh | T.U. Vienna and U. Luxembourg | On Tipping Scales: a Two-Level Semantics for Balancing Constitutional Rights | |
| 15h30-16h00 | Coffee break | ||
| 16h00-17h00 | LoDEx session 4 | ||
| Ovidio Manteiga Moar | Universidade da Coruña | Explainable Normative Reasoning based on Deontic Equilibrium Logic with Deolingo | |
| Apostolos Tzimoulis | University of Luxembourg | Formal models for information extraction, persuasion, and strategic reasoning |
Tuesday, 20 October
LoDEx Workshop — Day 2 (Room MNO 1.030, Room MNO 1.010)
| Time | Speaker / Session | Institution | Title |
|---|---|---|---|
| 10h00-11h00 | LoDEx session 5 | ||
| Christian Straßer | Ruhr University Bochum | Ignorance is not Bliss: Deontic Risk and the Asking of Questions | |
| Andrea Sabatini | Ruhr University Bochum | Making Argument Calculi Proof-Theoretically Robust | |
| 11h00-11h30 | Coffee break | ||
| 11h30-12h30 | LoDEx session 6 | ||
| Xavier Parent | Technical University of Vienna | From Betterness to Threshold Utility in Dyadic Deontic Logic | |
| Pere Pardo | University of Luxembourg | The Jiminy moral advisor: a Python implementation | |
| 12h30-14h00 | Lunch break | ||
| 14h00-15h30 | LoDEx session 7 | ||
| Christoph Benzmüller | University of Bamberg & FU Berlin | One Embedding, Many Backends | |
| Luca Pasetto | University of Luxembourg | Mechanizing Implicit Disagreement in Abstract Argumentation with LogiKEy | |
| Ali Farjami | University of Luxembourg | Logic-Parametric Neuro-Symbolic Explanation Refinement: Controlling Logical Formalisms for Verifiable LLM Reasoning | |
| 15h30-16h00 | Coffee break | ||
| 16h00-17h00 | Inaugural Bridge Talk | ||
| Emil Weydert | House of Logic | Back to the Future |
Wednesday, 21 October
Further Talks (Room MNO 1.040)
| Time | Speaker / Session | Institution | Title |
|---|---|---|---|
| 10h00-11h00 | Invited Talk | ||
| Hans Rott | University of Regensburg | The Difference Semantics for Conditionals | |
| 11h00-11h30 | Coffee break | ||
| 11h30-12h30 | |||
| David Fuenmayor | University of Bamberg | Quantifiers in LogiKEy: a discussion | |
| Alexander Stage | University of Luxembourg | ModalLens: Countermodel Analysis for Normative Theory Engineering with LogiKEy | |
| 12h30-14h30 | Lunch break | ||
| 14h30-15h30 | Invited Talk | ||
| Jan Broersen | Utrecht University | Can LLMs have introspection? | |
| 15h30-16h00 | Coffee break |