Lipari Summer School on Abstract Interpretation
September 1st - September 7th, 2024
Aim & Scope
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.
Speakers
Travel and accommodation
The conference room (located at Hotel Giardino sul Mare, Via Maddalena, Lipari) is air-conditioned and equipped with all conference materials. In addition, special areas are reserved for students for the afternoon coursework and study. The island of Lipari can be easily reached from Milazzo, Palermo, Naples, Messina, and Reggio Calabria by ferry or hydrofoil (50 minutes from Milazzo).
Registration
Two kinds of participants are welcome: students and academia professionals, and industry professionals.
For Students, passing the final exam gives the right to an equivalent of 6 ECTS credits in any Ph.D. program.
The registration fee is 600€ for students and academia professionals and 700€ for industry professionals. The fee covers the course material, bus + hydrofoil Catania airport-Lipari-Catania airport, social events, and coffee breaks. Late registration is 650€ for students and 750€ for industrial.
Early registration applications can be submitted up to June 15th, 2024. Late registrations will be accepted up to August 10th, 2024.
Applicants must include an updated link to an official website. Payment must be received as soon as possible, no later than August 10th, 2024. Only wire transfers or credit card payments can be accepted. In case of cancellation after fee payments, a 30% penalty will be applied. Regarding credit card payments, processing fees cannot be reimbursed.