VERIPROP — PROGRAM
Days: Saturday, 25 July 2026
Saturday, 25 July 2026
09:00-10:30
Session 1
VeriProP
Location:
B2.02
| 09:00-09:45 |
Type Systems for Exchangeability (abstract) 45 min
1 Cornell University
|
| 09:45-10:00 |
SuperDP: Differential Privacy Refutation via Supermartingales (abstract) 15 min
1 Institute of Science and Technology Austria
2 Singapore Management University
|
| 10:00-10:15 |
Deciding Termination of Simple Randomized Loops (abstract) 15 min
1 RWTH Aachen University
|
| 10:15-10:30 |
A First Decision Procedure for Almost-Sure Termination of Probabilistic Term Rewriting (abstract) 15 min
1 RWTH Aachen University
2 TU Wien
|
10:30-11:00
Coffee Break
VeriProP
Location:
B2.02
11:00-12:30
Session 2
VeriProP
Location:
B2.02
| 11:00-11:45 |
How to Verify Probabilistic Inference — and What That Even Means (abstract) 45 min
1 MIT
|
| 11:45-12:00 |
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (abstract) 15 min
1 RWTH Aachen University
2 Cornell University
3 Saarland University and University College London
|
| 12:00-12:15 |
Unbounded Nondeterministic Choice in Weighted Programs (abstract) 15 min
1 University of Oldenburg
|
| 12:15-12:30 |
Assessing the Quality of Binomial Samplers: A Statistical Distance Framework (abstract) 15 min
1 Indian Statistical Institute
2 Georgia Institute of Technology
|
12:30-14:00
Lunch
VeriProP
Location:
B2.02
14:00-15:30
Session 3
VeriProP
Location:
B2.02
| 14:00-14:45 |
Coupling Verification and Learning for Safe and Explainable Decision-Making under Uncertainty (abstract) 45 min
1 Brno University of Technology
|
| 14:45-15:00 |
Value Iteration for Stochastic Parity Games (abstract) 15 min
1 National Institute of Informatics
|
| 15:00-15:15 |
Probabilistic Loop Acceleration via a Quantitative Fixpoint Logic (abstract) 15 min
1 Tohoku University, Japan
|
| 15:15-15:30 |
A Hierarchy of Supermartingales for ω-Regular Verification (abstract) 15 min
1 Waseda University
2 Tohoku University
|
15:30-16:00
Coffee Break
VeriProP
Location:
B2.02
16:00-17:15
Session 4
VeriProP
Location:
B2.02
| 16:00-16:45 |
Specification-Guided Reinforcement Learning (abstract) 45 min
1 Georgia Institute of Technology
|
| 16:45-17:00 |
Verified Inverse Function Search for Normalizing Flows (abstract) 15 min
1 TU Darmstadt
2 University of St. Gallen
3 hessian.AI
4 National Research Center for Applied Cybersecurity ATHENE
|
| 17:00-17:15 |
Analytical Inference for Business Processes with Uncertainties via Probabilistic Programming (abstract) 15 min
1 Università degli Studi di Trieste
2 Technical University of Denmark
|