Lipari Summer School on Abstract Interpretation

Name: Lipari Summer School on Abstract Interpretation
Start: 2024-09-01 22:51:16
End: 2024-09-07 22:51:16

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.

Lipari Summer School on Abstract Interpretation

Lipari Summer School on Abstract Interpretation

Date

City

Country

Topic Area

Share With Colleagues