The School is committed to inspiring the next generation of scholars by offering Master’s and PhD students a rigorous and stimulating introduction to formal methods in the foundations and philosophy of science. Its goal is to provide participants with the conceptual and methodological tools they need to deepen their understanding, refine their research skills, and pursue ambitious intellectual projects with confidence.

Each year, the Scientific Committee will carefully select two key topics that reflect the richness and vitality of contemporary research. These themes will be explored through two foundational courses, each accompanied by two Lectiones Magistrales delivered by a leading expert, offering students a unique opportunity to engage with cutting-edge ideas and distinguished scholars.

The School will be hosted in a different location each year, fostering a sense of shared ownership within the Italian community of logicians interested in the applications of logic to the philosophy of science. By moving across different venues, the School aims to build a vibrant, collaborative network and to offer a common space for advanced training in areas that are becoming increasingly complex and intellectually significant.