Talks

Replication of the Landscape for LLM-generated Formal Specifications for C Programs

Contract Languages Seminar (Online)

10. Dec 2025
Formally Verified LLM Program Synthesis for Solidity Smart Contracts

AISoLA 2025, Rhodes, Greece

5. Nov 2025
Replication of the Landscape for LLM-generated Formal Specifications for C Programs

AISoLA 2025, Rhodes, Greece

2. Nov 2025
Of Good Demons and Bad Angels: Guaranteeing Safe Neural Control under Finite Precision

ANSR Reading Group, Berkeley, California, US (Online)

20. Oct 2025
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision

FMCAD 2025 (SRI International, Menlo Park, USA)

8. Oct 2025
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 2025 (Manigod, France)

6. Aug 2025
Provable Guarantees for Neural Networks

MeelGroup (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