This event has concluded, but exciting conferences are happening worldwide — explore upcoming events in your field and stay ahead with the latest insights and networking opportunities. Subscribe to our newsletter.
Lipari Summer School on Abstract Interpretation
171 171 people viewed this event.
The Lipari Summer School on Abstract Interpretation will be held on the beautiful island of Lipari, Italy, from September 1st to September 7th, 2024.
This immersive week-long journey, set in the stunning surroundings of Lipari Island, aims to provide MSc, Ph.D. students, postdocs, and young and senior researchers with a rich learning environment dedicated to the exploration of abstract interpretation, its applications, and its recent advances both in industry and research academia.
The topics covered during the summer school include abstract interpretation, static analysis, program analysis, software verification, formal methods, formal methods for artificial intelligence, and the use of static analysis in industry.