Talks

Heterogeneous Dynamic Logic: Provability Modulo Program Theories

FORCE (FLoC, Lisbon, Portugal)

25. Jul 2026
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision

SAIV 2026 (FLoC, Lisbon, Portugal)

24. Jul 2026
Heterogeneous Dynamic Logic: Provability Modulo Program Theories

PLDI (Boulder, USA)

19. Jun 2026
Guaranteed Safe AI Seminars

Horizon Omega (online)

9. Apr 2026
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