Start date cannot be after end date.
Kazuaki Tanaka - Constructing Certified Enclosures with Neural Sub- and Super-Solutions
September 17, 2026
IPAM
Allison Baker - Is it still correct? Quality assurance for an Earth System Model
September 17, 2026
IPAM
Efficient Verification of Computation on Untrusted Platforms
Presenter
- Yael Kalai
February 13, 2023
IAS
Formal Verification and Synthesis of Spatial Temporal Pattern for Networked Systems
Presenter
- Zhaodan Kong
April 11, 2016
MBI
Interactive theorem proving, automated reasoning, and dynamical systems
Presenter
- Jeremy Avigad
April 5, 2016
ICERM
Efficient Batch Verification: Recent Progress and Challenges
Presenter
- Ron Rothblum
December 9, 2024
IAS
Matthias Caro - Classical Verification of Quantum Learning - IPAM at UCLA
Presenter
- Matthias Caro
October 17, 2023
IPAM
Neural network verification as piecewise linear optimization
Presenter
- Joseph Huchette
February 23, 2021
IPAM