All events

Challenges of Software Verification Symposium 2025
static-analysis abstract-interpretation software-verification
Conference participant
Symposium - June 5-6, 2025 - Venice, Italy
I participated in the "Challenges of Software Verification" Symposium held on June 5-6, 2025, at Ca’ Foscari University of Venice. The event featured several sessions focusing on theoretical results, practical applications, innovative tools, and their impact on software engineering and DevOps. Selected abstracts were invited for full paper submission to a special issue of the Springer International Journal on Software Tools for Technology Transfer. Previous symposium talks have been published in Springer-Nature journals.

Lipari Summer School on Abstract Interpretation 2024
static-analysis abstract-interpretation software-verification
Student
Summer School - September 1-7, 2024 - Lipari, Italy - Attendance available
I attended the Lipari Summer School on Abstract Interpretation, held from September 1st to 7th, 2024, on Lipari Island, Italy. This week-long program was focused on abstract interpretation, static analysis, program analysis, software verification, and formal methods, including their applications in artificial intelligence and industry.
Challenges of Software Verification Symposium 2024
static-analysis abstract-interpretation software-verification
Conference participant
Symposium - June 6-7, 2024 - Venice, Italy
I participated in the "Challenges of Software Verification" Symposium held on June 6-7, 2024, at Ca’ Foscari University of Venice. The event featured several sessions focusing on theoretical results, practical applications, innovative tools, and their impact on software engineering and DevOps. Selected abstracts were invited for full paper submission to a special issue of the Springer International Journal on Software Tools for Technology Transfer. Previous symposium talks have been published in Springer-Nature journals.