SAIV — PROGRAM
Days: Friday, 24 July 2026 Saturday, 25 July 2026
Friday, 24 July 2026
09:00-10:30
Invited talks + round table discussion
SAIV
Session Chair:
Location:
C1.03
| 09:00-09:30 |
Neural Stochastic Control and Verification for Safe Autonomy (abstract) 30 min
1 Singapore Management University
|
| 09:30-10:00 |
A high-level view on causal representation learning with actions (abstract) 30 min
1 University of Amsterdam
|
| 10:00-10:30 |
Round-table discussions (abstract) 30 min
1 Singapore Management University
2 University of Amsterdam
|
10:30-11:00
Coffee Break
SAIV
Location:
C1.03
11:00-12:00
Contributed talks and short presentations
SAIV
Session Chair:
Location:
C1.03
| 11:00-11:15 |
Temporal Guardrails for LLM Conversations: A Runtime Verification Framework (abstract) 15 min
1 Bar Ilan University
2 Jet Propulsion Laboratory, California Inst. of Technology
|
| 11:15-11:30 |
MetaMoE: Formal Verification of Compositional Robustness and Scalability of Mixture-of-Experts Architecture (abstract) 15 min
1 Vanderbilt University
|
| 11:30-11:37 |
Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound (abstract) 7 min
1 University of Konstanz
2 University of St. Gallen
|
| 11:37-11:44 |
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change (abstract) 7 min
1 Delft University of Technology
|
| 11:44-11:51 |
PICID: Proof-Driven Clause Learning in Neural Network Verification (abstract) 7 min
1 The Hebrew University of Jerusalem
2 Amherst College
3 Stanford University
|
| 11:51-11:58 |
Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement (abstract) 7 min
1 Kyushu University
|
12:00-13:30
Lunch
SAIV
Location:
C1.03
14:15-14:30
Contributed talk
SAIV
Session Chair:
Location:
C1.03
| 14:15-14:30 |
Neural Network Verification using Partial Multi-Neuron Relaxation (abstract) 15 min
1 Hebrew University of Jeruslaem
|
14:30-15:00
Coffee Break
SAIV
Location:
C1.03
15:00-16:15
Contributed talks
SAIV
Session Chair:
Location:
C1.03
| 15:00-15:15 |
Verified Tensor Operators for Safety-Critical ML: From Specification to Reference Implementation (abstract) 15 min
1 Universidade do Minho & Critical Software, Portugal
2 CEA LIST, Saclay, France
3 ISEG Executive Education & Critical Software, Portugal
4 IRT Saint-Exupéry, Toulouse, France
5 HASLab
6 Airbus Commercial, Toulouse, France
7 INESC TEC & Universidade do Minho, Portugal
|
| 15:15-15:30 |
Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features (abstract) 15 min
1 Vanderbilt University
|
| 15:30-15:45 |
A Self-Correcting Neuro-Symbolic AI Reasoning Framework (abstract) 15 min
1 Vanderbilt University
|
| 15:45-16:00 |
Automated Algorithm Configuration of α,β-CROWN (abstract) 15 min
1 RWTH Aachen University
2 RWTH Aachen University, Leiden University
|
| 16:00-16:15 |
Hybrid Robustness Verification for Spatio-Temporal Neural Networks (abstract) 15 min
1 Imperial College London
|
Saturday, 25 July 2026
09:00-10:30
Invited talks and round-table discussions
SAIV
Session Chair:
Location:
C1.03
| 09:00-09:30 |
Latent space navigation – interpretation, probing and steering (abstract) 30 min
1 Technical University of Denmark
|
| 09:30-10:00 |
When Control Changes the Data: Safety under Interaction-Driven Distribution Shifts (abstract) 30 min
1 ETH Zurich
|
| 10:00-10:30 |
Round-table discussion (abstract) 30 min
1 Technical University of Denmark
2 ETH Zurich
|
10:30-11:00
Coffee Break
SAIV
Location:
C1.03
11:00-12:00
Contributed talk, short presentations, and case studies
SAIV
Session Chair:
Location:
C1.03
| 11:00-11:15 |
Certified Neural Approximations of Nonlinear Dynamics (abstract) 15 min
1 Delft University of Technology
2 University of Oxford
|
| 11:15-11:22 |
Verification of LTL properties on Neural Networks for Chemical Process Monitoring (abstract) 7 min
1 Université Paris-Saclay, CEA, List, F-91120, Palaiseau, France
2 TU Dortmund University
|
| 11:22-11:29 |
Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study) (abstract) 7 min
1 University of Southampton
2 University of Edinburgh
3 IT University of Copenhagen
4 Schlumberger Cambridge Research
|
| 11:29-11:36 |
veriFIRE: An Industrial Case Study in Verifying Consistency Properties for DNN-Based Wildfire Detection System (abstract) 7 min
1 The Hebrew University of Jerusalem
2 Elbit Systems --- EW & SIGINT --- Elisra Ltd.
3 Cornell University
|
| 11:36-11:43 |
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings (abstract) 7 min
1 Georgia Institute of Technology
2 Bogazici University
|
| 11:43-11:50 |
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision (abstract) 7 min
1 Karlsruhe Institute of Technology
2 IT University of Copenhagen
|
| 11:50-11:57 |
Optimizing VNN Solver Configuration Selection using Large Language Models (abstract) 7 min
1 Georgia Institute of Technology
2 Georgia Tech Research Institute
|
12:00-13:30
Lunch
SAIV
Location:
C1.03
13:30-14:30
Keynote presentation
SAIV
Session Chair:
Location:
C1.03
| 13:30-14:30 |
Reliable AI code generation through sound program analysis (abstract) 60 min
1 MIT
|
14:30-15:00
Coffee Break
SAIV
Location:
C1.03
15:00-16:15
Contributed talks
SAIV
Session Chair:
Location:
C1.03
| 15:00-15:15 |
Value Functions as Supermartingale Certificates (abstract) 15 min
1 University of Oxford
2 University of Birmingham
|
| 15:15-15:30 |
Principled Rewriting of ONNX Operators for Reluctant Solvers (abstract) 15 min
1 CEA-List
|
| 15:30-15:45 |
Incremental Invariant-based Safety Verification of Neural Controllers (abstract) 15 min
1 University of the Bundeswehr Munich
|
| 15:45-16:00 |
Faster Optimization of Decision Tree Policies for Markov Decision Processes (abstract) 15 min
1 Delft University of Technology
|
| 16:00-16:15 |
Enhancing the Robustness of Counterfactual Explanations via Adversarial Training (abstract) 15 min
1 Georgia Institute of Technology
2 Imperial College London
|