[TYPES/announce] Call for applications for the first Summer School on Programming Languages, Logic, and Software Security

[Amin Timany]

Applications are now open for the first Summer School on Programming
Languages, Logic, and Software Security, to 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 (INCUBA Katrinebjerg), Aarhus, Denmark
Webpage: https://urldefense.com/v3/__https://conferences.au.dk/pls__;!!IBzWLUs!Q0ZUtpyBDunPdotW2hniXRZnxPdeygnVN_SaVlfbCZPEGPdwGryHLXtitEhyC3du3-6U_XiiXTfgLYQY-nzH_U-AnhFqFgwQsA$ 

Application deadline: May 15, 2026

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: Static Program Analysis


To apply, please visit https://urldefense.com/v3/__https://conferences.au.dk/pls/application__;!!IBzWLUs!Q0ZUtpyBDunPdotW2hniXRZnxPdeygnVN_SaVlfbCZPEGPdwGryHLXtitEhyC3du3-6U_XiiXTfgLYQY-nzH_U-AnhG9LFfRmA$ .
Applicants should submit a CV and a motivation letter. A reference letter
is additionally required for students. Applicants wishing to be considered
for financial support should indicate this in their application and include
a short text explaining their need.

Decisions will be communicated in late May.

For questions, please contact: timany at cs.au.dk

We look forward to welcoming everyone to Aarhus!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260410/fd772032/attachment.htm>