CREST — PROGRAM
Days: Friday, 24 July 2026
Friday, 24 July 2026
09:00-09:30
Welcome & Remembering Joseph Y. Halpern (Sander Beckers, Hana Chockler, Moshe Vardi)
CREST
Session Chair:
Location:
C1.01
09:30-10:30
Invited Talk by Sander Beckers
CREST
Session Chair:
Location:
C1.01
| 09:30-10:30 |
Nondeterministic Causal Models (abstract) 60 min
1 University College London, UK
|
10:30-11:00
Coffee Break
CREST
Location:
C1.01
11:00-12:30
Contributed Presentations 1
CREST
Session Chair:
Location:
C1.01
| 11:00-11:18 |
An Actual Causality Calculus for Process Algebra (abstract) 18 min
1 University of Twente
|
| 11:18-11:36 |
Causal Models in LogiKEy (abstract) 18 min
1 University of Luxembourg
2 University of Bamberg & FU Berlin
|
| 11:36-11:54 |
A Concurrency-Theoretic Framework for Actual Causation (abstract) 18 min
1 University of Edinburgh
|
| 11:54-12:12 |
Figuring Out The Reasons Behind the Rules we Follow (abstract) 18 min
1 Oregon State University
|
| 12:12-12:30 |
Unification and Explanation from a Causal Perspective (abstract) 18 min
1 University of Cologne
|
12:30-14:00
Lunch
CREST
Location:
C1.01
14:00-15:00
Invited Talk by Christel Baier
CREST
Session Chair:
Location:
C1.01
| 14:00-15:00 |
Probabilistic Causality in Markovian Models (abstract) 60 min
1 Dresden University of Technology, Germany
|
15:00-15:18
Contributed Presentations 2
CREST
Session Chair:
Location:
C1.01
| 15:00-15:18 |
Forward-Responsibility in Petri Nets (abstract) 18 min
1 Carl von Ossietzky Universität Oldenburg
|
15:30-16:00
Coffee Break
CREST
Location:
C1.01
16:00-17:30
Contributed Presentations 3
CREST
Session Chair:
Location:
C1.01
| 16:00-16:18 |
Hybridized Sabotage Logics for Causal Counterfactual Queries (abstract) 18 min
1 King's College London
|
| 16:18-16:36 |
A Generalized Propensity Score Estimation Methodology for Discrete and Continuous Treatments (abstract) 18 min
1 Independent Researcher
2 INSA Rouen Normandie
|
| 16:36-16:54 |
Computing Actual Causes for Neural Network Predictions under Structured Causal Inputs (abstract) 18 min
1 University of Konstanz
|
| 16:54-17:12 |
Rethinking Counterfactuals: Hidden Assumptions and Practical Pitfalls (abstract) 18 min
1 DFKI
|
| 17:12-17:30 |
Has Practice Already Crossed the Causal Barrier? Causality, Formal Models, and Contemporary Machine Learning (abstract) 18 min
1 Eindhoven University of Technology
|