Theoretical Computer Science and Formal Methods

All schools are listed alphabetically.

Some of the following websites only feature edition-specific pages. When this happens, a link to the most recent edition at the time of writing will be present.

Advanced Functional Programming Summer School (AFP)

This Dutch summer school aims to educate aspiring Haskell programmers beyond the basic material covered by many textbooks.

Dutch Winter School on Logic and Verification

This Dutch school covers topic in theoretical computer science, especially program verification, logic, and type theory.

European Summer School in Logic, Language and Information (ESSLLI)

Founded in 1989, this european summer school is perhaps the most popular logic summer school in Europe.

International School on Rewriting (ISR)

The International School on Rewriting (ISR) focuses on term rewriting. riscrittura dei termini.

Midlands Graduate School in the Foundations of Computing Science (MGS)

First held in 1999, this English school is focused on the mathematical foundations of computing. It is held in spring, rather than in summer or in winter.

Oregon Programming Languages Summer School (OPLSS)

This US school is about programming languages and their theoretical foundations.

Scottish Programming Languages and Verification Summer School (SPLV)

This popular Scottish school ranges from theoretical to applied topics, all concerning programming languages and formal verification.