MARTAFEST — PROGRAM

Days: Saturday, 25 July 2026

Saturday, 25 July 2026
09:00-10:15 Morning session 1 MartaFest
Session Chair:
Gethin Norman
Location: C2.02
09:00-09:15
Opening Remarks (abstract) 15 min
Gethin Norman1, David Parker2
1 University of Glasgow
2 University of Oxford
09:15-09:45
Model Checking the Race Against Time (abstract) 30 min
Joost-Pieter Katoen1
1 RWTH Aachen University
09:45-10:15
It's all about Probabilities (abstract) 30 min
Christel Baier1
1 Technische Universität Dresden
10:15-10:45 Coffee Break MartaFest
Location: C2.02
10:45-12:15 Morning session 2 MartaFest
Session Chair:
David Parker
Location: C2.02
10:45-11:15
Formal Specifications in Generative AI (abstract) 30 min
Rajeev Alur1
1 University of Pennsylvania
11:15-11:45
Industrial-Scale Quantitative Program Optimisation for AI Workloads (abstract) 30 min
Danial Kroning1
1 Amazon
11:45-12:15
Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems (abstract) 30 min
Moshe Vardi1
1 Rice University
12:15-14:00 Lunch MartaFest
Location: C2.02
14:00-15:30 Afternoon session 1 MartaFest
Session Chair:
Lu Feng
Location: C2.02
14:00-14:30
Advances in Extending the Applicability of Probabilistic Model Checking (abstract) 30 min
Radu Calinescu1
1 University of York
14:30-15:00
Synthesis and Verification of Transformer Programs (abstract) 30 min
Anthony Lin1
1 University of Kaiserslautern-Landau and MPI-SWS
15:00-15:30
Probabilistic Timed Automata: Combining Markov Decision Processes and Timed Automata (abstract) 30 min
Jeremy Sproston1
1 University of Turin
15:30-16:00 Coffee Break MartaFest
Location: C2.02
16:00-17:00 Afternoon session 2 MartaFest
Session Chair:
Lu Feng
Location: C2.02
16:00-16:20
Video Tributes (abstract) 20 min
Lu Feng1
1 University of Virginia
16:20-17:00
Reflection and Closing Remarks (abstract) 40 min
Marta Kwiatkowska1
1 University of Oxford
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑