Programming Languages, Logic and Software Security
Summer School

AARHUS, DENMARK

Department of Computer Science is hosting a summer school in Programming Languages, Logic and Software Security. The summer school will take place at INCUBA Katrinebjerg in Aarhus from August 10^th -14^th, 2026.

Courses

The Rocq proof assistant and Gen-AI Tools for Formalization of Mathematics

Speaker: Bas Spitters

Higher-Order Concurrent Separation Logic

Speakers: Lars Birkedal and Amin Timany

Introduction to Type theory

Speaker: Daniel Gratzer

Language-Based Security

Speaker: Aslan Askarov

Static Program Analysis

Speaker: Anders Møller

Contact

Henriette Gammelgaard Farup

Section Manager

M henriettefarup@cs.au.dk
H 5341, 221
P +4593522241

Vibe Falkenhard Røn

Administrative officer

M vfa@cs.au.dk
H 5342, 214
P +4593521482
P +4593521482

Amin Timany

Associate Professor

M timany@cs.au.dk
H 5341, 213

Useful links:

Getting to Aarhus

Getting around in Aarhus

Revised 15.03.2026

Programming Languages, Logic and Software Security Summer School