PhD schools on TCS and/or logic

QCOMICAL School 2026

Pisa, Italy –

quantum programming languages

34th Annual Logic Summer School

Canberra, Australia –

logic

The 2027 Dutch Winter School on Logic and Verification

Leiden, Netherlands –

software verification

Theory and Applications of (∞,n)-Categories

Kelowna, Canada –

category theory

The Adjoint School 2027

Erlangen, Germany –

category theory