Vasco Vasconcelos, LASIGE integrated member, was one of the lecturers at the 6th Summer School on Foundations of Programming and Software Systems (FoPSS), which brought together students and researchers to explore “Emerging Approaches for Reasoning about Programs and Proofs”, held in Lisbon, 13-17th July 2026, as part of the Federated Logic Conference (FLoC 2026).

This week-long event provides a comprehensive introduction to the latest developments in program reasoning. This year’s edition focused on recent methodologies that are shaping the future of software verification and program semantics, including advanced type systems, proof assistants, logic, and neuro-symbolic approaches. The program featured a distinguished series of lectures aimed at equipping participants with a solid understanding of established foundations, as well as a forward-looking perspective on the field’s future. By exploring highly active research areas, attendees gained the theoretical tools necessary to reason rigorously about complex, modern programs. Through engaging instruction and collaborative discussions, the school aimed to inspire the next generation of researchers to push the boundaries of formal reasoning and program verification.