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 list of topics covered during the summer school includes abstract interpretation, static analysis, program analysis, software verification, formal methods, formal methods for artificial intelligence, and use of static analysis in industry.

Deadline for applications: 15th June 2024
For more information regarding travel, accommodations, and fees, please visit the website: https://absint24.liparischool.it/

*** Speakers ***
- Patrick Cousot (New York University, USA)
- Helmut Seidl (Technical University of Munich, Germany)
- Laurent Mauborgne (AbsInt)
- Thomas Jensen (University of Rennes & INRIA, France)
- Caterina Urban (INRIA & École Normal Supérieure, France)
- Enea Zaffanella (University of Parma, Italy)
- Raphaël Monat (University of Lille & INRIA, France)
- Luca Negrini (University Ca’ Foscari of Venice, Italy)

*** Scientific Committee ***
- Vincenzo Arceri (University of Parma, Italy)
- Isabella Mastroeni (University of Verona, Italy)
- Antoine Miné (Sorbonne Université, France)

*** Organizing Committee and Contacts ***
- Vincenzo Arceri (University of Parma, Italy, vincenzo.arceri@unipr.it)
- Isabella Mastroeni (University of Verona, Italy, isabella.mastroeni@univr.it)
- Antoine Miné (Sorbonne Université, France, antoine.mine@lip6.fr)
- Michele Pasqua (University of Verona, Italy, michele.pasqua@univr.it)