[Applications open] 2nd Lipari School on Abstract Interpretation

[Vincenzo Arceri]

The 2nd Lipari School on Abstract Interpretation will be held on the beautiful island of Lipari, Italy, from August 30 to September 5, 2026.

This immersive week-long journey, set in the stunning surroundings of Lipari Island, aims to provide MSc, Ph.D. students, postdocs, and young 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: June 30, 2026

For more information regarding travel, accommodations, and fees, please visit the website: 

https://absint26.liparischool.it/

=== Speakers ===

 - Patrick Cousot (New York University, USA)

 - Sandrine Blazy (University of Rennes, France)

 - Roberto Bruni (University of Pisa, Italy)

 - Laurent Mauborgne (AbsInt)

 - Xavier Rival (Inria Paris, France)

 - Michael Schwarz (National University of Singapore, Singapore)

=== Scientific & Organizing Committee ===

 - Vincenzo Arceri (University of Parma, Italy)

 - Isabella Mastroeni (University of Verona, Italy)

 - Antoine Miné  (Sorbonne Université, France)