MW2 — PROGRAM
Days: Saturday, 25 July 2026
Saturday, 25 July 2026
09:00-09:30
Informal meet & greet
MW2
Location:
C6.07
09:30-09:40
Kickoff
MW2
Location:
C6.07
09:40-10:10
Orna Grumberg
MW2
Location:
C6.07
| 09:40-10:10 |
Symbolic Model Checking: From Program Verification to Constrained Horn Clauses (abstract) 30 min
1 Technion
|
10:10-10:30
Ice breakers
MW2
Location:
C6.07
10:30-11:00
Coffee Break
MW2
Location:
C6.07
11:00-11:30
Sebastian Siebertz
MW2
Location:
C6.07
| 11:00-11:30 |
A Day in the Life of a Faculty Diversity Manager (abstract) 30 min
1 Universität Bremen
|
11:30-12:00
Yannick Forster
MW2
Location:
C6.07
| 11:30-12:00 |
Using proof assistants as more than checkers, and how to write papers about it (abstract) 30 min
1 Inria
|
12:00-12:30
Claudia Cauli
MW2
Location:
C6.07
| 12:00-12:30 |
Taming State-Space Explosion in Cloud Accounts: Finding Privilege Escalation at Scale (abstract) 30 min
1 Huawei R&D
|
12:30-14:00
Lunch
MW2
Location:
C6.07
14:00-14:30
Loris D'Antoni
MW2
Location:
C6.07
| 14:00-14:30 |
Your Next Big Idea Is Just a Few Small Ideas Away (abstract) 30 min
1 UCSD & Code Metal
|
14:30-15:30
PhD Student Panel
MW2
Location:
C6.07
| 14:30-15:30 |
PhD Student Panel (abstract) 60 min
1 CISPA
2 Stanford University
3 TU Wien
|
15:30-16:00
Coffee Break
MW2
Location:
C6.07
16:00-16:30
Caterina Urban
MW2
Location:
C6.07
| 16:00-16:30 |
What I Got Right, What I Got Wrong, and What Happened Anyway: Lessons from My Path (abstract) 30 min
1 Inria & ENS
|
16:30-17:30
Researchers Panel
MW2
Location:
C6.07
| 16:30-17:30 |
Researchers Panel (abstract) 60 min
1 UCSD and Code Metal
2 Huawei R&D
3 Technion
4 The University of Melbourne
5 Inria & ENS
|