OVERLAY — PROGRAM
Days: Saturday, 18 July 2026 Sunday, 19 July 2026
Saturday, 18 July 2026
09:00-10:00
Planning
OVERLAY
Session Chair:
Location:
C1.04
| 09:00-09:30 |
Proper Open World Automated Planning (abstract) 30 min
1 Toronto Metropolitan University
|
| 09:30-10:00 |
A Practical and Didactic Epistemic Planning Toolkit (abstract) 30 min
1 Free University of Bozen-Bolzano
|
10:00-10:30
Coffee Break
OVERLAY
Location:
C1.04
10:30-12:00
Multi-agent systems
OVERLAY
Session Chair:
Location:
C1.04
| 10:30-11:00 |
A Formal Framework for Strategic Reasoning in Agentic Business Process Management (abstract) 30 min
1 University of Oxford
2 SAP
3 Free University of Bozen-Bolzano
4 Umeå University
5 University of Mannheim
|
| 11:00-11:30 |
Bridging Formal Strategic Reasoning and Video Games (abstract) 30 min
1 University of Naples "Federico II"
|
| 11:30-12:00 |
A Formal Argumentation Protocol in the Event Calculus (abstract) 30 min
1 Örebro University, Sweden
2 University of Piraeus & NCSR Demokritos, Greece
|
12:00-14:00
Lunch
OVERLAY
Location:
C1.04
14:00-15:30
Temporal, Modal and Logical Foundations
OVERLAY
Session Chair:
Location:
C1.04
| 14:00-14:30 |
Reasoning About Intuitionistic Alternating-Time Temporal Logic (abstract) 30 min
1 Università degli Studi di Napoli Federico II
|
| 14:30-15:00 |
Counting worlds branching time semantics for post-hoc bias mitigation in generative AI (abstract) 30 min
1 University School for Advanced Studies IUSS Pavia
2 University of Milan
3 University of Tübingen (CFvW)
|
| 15:00-15:30 |
A note on the fragment of modal μ-calculus equivalent to First Order Logic over infinite trees (abstract) 30 min
1 University of Udine
2 University of Napoli "Federico II"
|
15:30-16:00
Coffee Break
OVERLAY
Location:
C1.04
16:00-17:00
Temporal, Modal and Logical Foundations 2
OVERLAY
Session Chair:
Location:
C1.04
| 16:00-16:30 |
Strategy Logic: Where are we? (abstract) 30 min
1 University of Naples Federico II
|
| 16:30-17:00 |
Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems (Abridged Version) (abstract) 30 min
1 University of Toronto
|
Sunday, 19 July 2026
09:00-10:00
Learning
OVERLAY
Session Chair:
Location:
C1.04
| 09:00-09:30 |
Learning Formal Models of Parametrized Systems (abstract) 30 min
1 Ben-Gurion University of the Negev
2 CISPA Helmholtz Center for Information Security
|
| 09:30-10:00 |
Fairness Certificates via a Lean-Backed Trustworthy Probabilistic Typed Natural Deduction (abstract) 30 min
1 University of Verona, University College London
2 University of Milan
|
10:00-10:30
Coffee Break
OVERLAY
Location:
C1.04
10:30-12:00
Verification and Model Checking
OVERLAY
Session Chair:
Location:
C1.04
| 10:30-11:00 |
Progress-Aware Runtime Monitoring of Abstract Scenario Specifications (abstract) 30 min
1 German Aerospace Center (DLR)
|
| 11:00-11:30 |
Verified Computational Graph for Safety-Critical ML: From static model to execution semantics (abstract) 30 min
1 Universidade do Minho & Critical Software, Portugal
2 ISEG Executive Education & Critical Software, Portugal
3 IRT Saint-Exupéry, Toulouse, France
4 HASLab
5 INESC TEC & Universidade do Minho, Portugal
|
| 11:30-12:00 |
Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games (abstract) 30 min
1 National Institute of Informatics
|
12:00-14:00
Lunch
OVERLAY
Location:
C1.04
14:00-15:00
Invited Talk
OVERLAY
Session Chair:
Location:
C1.04
| 14:00-15:00 |
Preservation Theorems: From Tarski to Graph Neural Networks (abstract) 60 min
1 University of Oxford
|
15:00-15:30
Coffee Break
OVERLAY
Location:
C1.04
15:30-16:30
Explainability
OVERLAY
Session Chair:
Location:
C1.04
| 15:30-16:00 |
AIRD: Auditable Composite Distillation on a Sparse Tactical Frontier (abstract) 30 min
1 IRIT - Université Toulouse Capitole, France
|
| 16:00-16:30 |
Explaining Visual Models with Logic and Concept-Part Networks (abstract) 30 min
1 Ecole Polytechnique
|