HYPER — PROGRAM
Days: Friday, 24 July 2026
Friday, 24 July 2026
08:55-09:00
Kick-off
HYPER
Location:
C3.01
09:00-09:45
Invited talk 1
HYPER
Location:
C3.01
| 09:00-09:45 |
When Runs Align: Reductions for Concurrency and Recursion (abstract) 45 min
1 University of Toronto
|
09:45-10:15
Contributed talks 1
HYPER
Location:
C3.01
| 09:45-10:00 |
Hyper Separation Logic (abstract) 15 min
1 INSAIT, Sofia University “St. Kliment Ohridski”
2 ETH Zurich
3 EPFL
|
| 10:00-10:15 |
Heisenbugs and their causes as hyperproperties (abstract) 15 min
1 TU Wien
|
10:15-10:30
Q&A 1
HYPER
Location:
C3.01
10:30-11:00
Coffee break
HYPER
Location:
C3.01
11:00-11:45
Invited talk 2
HYPER
Location:
C3.01
| 11:00-11:45 |
The Many Facets of Temporal Hyperlogics (abstract) 45 min
1 IMDEA Software Institute
|
11:45-12:20
Contributed talks 2
HYPER
Location:
C3.01
| 11:45-12:00 |
On the Expressive Power of HyperLTL Compared to the Polyadic μ-Calculus (abstract) 15 min
1 University of Kassel
|
| 12:00-12:10 |
HyperQB 2.0: A Bounded Model Checker for Hyperproperties (abstract) 10 min
1 de Oliveira Batista
|
| 12:10-12:20 |
HyPOLE: Hyperproperty-Guided Multi-Agent Reinforcement Learning under Partial Observation (abstract) 10 min
1 Michigan State University
|
12:20-12:35
Q&A 2
HYPER
Location:
C3.01
12:35-14:00
Lunch break
HYPER
Location:
C3.01
14:00-14:45
Invited talk 3
HYPER
Location:
C3.01
| 14:00-14:45 |
Specifying and Preserving Security Hyperproperties with Real–Ideal Simulation (abstract) 45 min
1 Cornell University
|
14:45-15:30
Contributed talks 3
HYPER
Location:
C3.01
| 14:45-15:00 |
A Deductive System for Fair Simulation Proofs (abstract) 15 min
1 CISPA Helmholtz Center for Information Security
|
| 15:00-15:15 |
Coinductive Proofs for Temporal \forall\exists-Hyperproperties (abstract) 15 min
1 CISPA Helmholtz Center for Information Security
|
| 15:15-15:30 |
Information Flow Security for Concurrent Programs: Commutativity and Beyond (abstract) 15 min
1 ETH Zurich
|
15:30-15:45
Q&A 3
HYPER
Location:
C3.01
15:45-16:00
Coffee break
HYPER
Location:
C3.01
16:00-16:45
Invited talk 4
HYPER
Location:
C3.01
| 16:00-16:45 |
Verification of Equivalence Properties in Cryptographic Protocols (abstract) 45 min
1 Inria Centre at Université de Lorraine
|
16:45-17:25
Contributed talks 4
HYPER
Location:
C3.01
| 16:45-17:00 |
Disintegration Temporal Logic for Probabilistic Hyperproperties (abstract) 15 min
1 CISPA Helmholtz Center for Information Security
2 CISPA Helmholtz Center for Information Security & Technical University of Munich
|
| 17:00-17:15 |
Affine Segment Decomposition for Verifying Neural Network Hyperproperties in Rocq-NN-Roll (abstract) 15 min
1 Fraunhofer FOKUS
2 TU Berlin
|
| 17:15-17:25 |
Symbolic Bounded Model Checking of ∀+∃+-Liveness Hyperproperties (abstract) 10 min
1 Universidade do Minho & INESC TEC
|
17:25-17:45
Q&A 4
HYPER
Location:
C3.01