Sorry about this, we are in read only mode. You can browse the site as normal but you won't be able to sign in or make changes.
SICSA Summer School on Types and Programming Languages
This summer school will give participants an overview of the research landscape and state of the art in programming language theory, focussing in particular on types for program specification and verification.