January 26th, 2026 @Meeting of MUR Project "Resource Awareness in Programming: Algebra, Rewriting, and Analysis" - University of Pisa
Informal Talk - A Program Logic for Abstract (Hyper)Properties.
Member of Artifact Evaluation Committee @VMCAI26
October 1st, 2025 @RP25
Informal Talk - Model checking as program verification by abstract interpretation.
August 26th, 2025 @CONCUR2025
Conference Talk - Model checking as program verification by abstract interpretation.
July 7th, 2025 @Meeting of MUR Project "Resource Awareness in Programming: Algebra, Rewriting, and Analysis" - University of Padova
Informal Talk - Model checking as program verification by abstract interpretation.
July 4th, 2024 @University of Venice
Graduate Seminar - Model Checking a Temporal Logic via Program Verification. - Event
June 5th - 6th, 2025 @University of Venice - Challenges of Software Verification Symposium 2025
September 1st - 7th, 2024 @LipariSchool - Lipari Summer School on Abstract Interpretation
June 6th - 7th, 2024 @University of Venice - Challenges of Software Verification Symposium 2024