Post #1000187

Some news: the first summer school on Programming Languages, Logic, and Software Security, will be held August 10–14, 2026 in Aarhus, Denmark. The summer school offers intensive courses by leading researchers covering foundational and applied topics at the intersection of programming languages, formal methods, and software security. It is aimed at PhD students and advanced B.Sc./M.Sc. students active in the areas of programming languages, logic, semantics, and software security. Dates: August 10–14, 2026 Venue: Aarhus University, Aarhus, Denmark Webpage: https://conferences.au.dk/pls Courses and Speakers: Bas Spitters: The Rocq proof assistant and Gen-AI Tools for Formalization of Mathematics Lars Birkedal and Amin Timany: Higher-Order Concurrent Separation Logic Daniel Gratzer: Introduction to Type theory Aslan Askarov: Language-Based Security Anders Møller: Program Analysis