Talks

Of Good Demons and Bad Angels: Guaranteeing Safe Neural Control under Finite Precision

Arcak Group (Berkeley, California, US)

6. Oct 2025
Dynamic Logic à la Locale

KeY Symposium (Manigod, France)

6. Aug 2025
Provable Guarantees for Neural Networks

Meel Group (Online)

16. Jul 2025
Verification of Autonomous Neural Car Control with KeYmaera X

ABZ (Düsseldorf, Germany)

12. Jun 2025
Revisiting Differential Verification: Equivalence Verification with Confidence

TACAS (Hamilton, Canada)

7. May 2025
Next Steps in LLM-Supported Java Verification

Workshop on Neuro-Symbolic Software Engineering (Ottawa, Canada)

3. May 2025
Towards LLM-support for Deductive Verification of Java Programs

Workshop on Theorem Proving and Machine Learning in the age of LLMs (Edinburgh, UK)

7. Apr 2025
Provably Safe Neural Network Controllers via Differential Dynamic Logic

Laboratory for Foundations of Computer Science Seminar (Edinburgh, UK)

29. Oct 2024
Heterogeneous Dynamic Logic

KeY Symposium (Bad Herrenalb, Germany)

1. Aug 2024
Provably Safe Neural Network Controllers via Differential Dynamic Logic

Symposium on AI Verification (Montreal, Canada)

22. Jul 2024