[2nd Call for Applications, deadline June 15th] Lipari Summer School on Abstract Interpretation

by Vincenzo Arceri, May 24, 2024

The Lipari Summer School on Abstract Interpretation will take place from September 1 to 7, 2024. The application deadline is June 15, 204.

See: https://absint24.liparischool.it/

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, [email protected])
- Isabella Mastroeni (University of Verona, Italy, [email protected])
- Antoine Miné  (Sorbonne Université, France, [email protected])
- Michele Pasqua (University of Verona, Italy, [email protected])