Informatica teorica e metodi formali

Le scuole sono elencate in ordine alfabetico.

Alcuni dei siti seguenti offrono solo pagine pertinenti alle singole edizioni. In questi casi, abbiamo decisio di usare un collegamento all’edizione più recente al momento della scrittura di questa pagina.

Advanced Functional Programming Summer School (AFP)

Questa scuola estiva olandese si pone come obiettivo quello di educare chi aspira a programmare in Haskell su argomenti più avanzati di quelli affrontati dalla maggior parte dei manuali.

Dutch Winter School on Logic and Verification

Le lezioni di questa scuola nei Paesi Bassi sono in informatica teorica, con un occhio di riguardo per verifica dei programmi, logica e teoria dei tipi.

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

Nata nel 1989, questa scuola estiva europea è forse la più popolare nel continente per quanto riguarda lo studio della logica.

International School on Rewriting (ISR)

La International School on Rewriting (ISR) è dedita allo studio della riscrittura dei termini.

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

Fondata nel 1999, questa scuola inglese si focalizza sulle fondamenta matematiche della computazione. In realtà, essa non è né una scuola estiva, né una invernale, bensì una primaverile.

Oregon Programming Languages Summer School (OPLSS)

Questa scuola statunitense si dedica ai linguaggi di programmazione e alle loro fondamenta teoriche.

Scottish Programming Languages and Verification Summer School (SPLV)

Questa popolare scuola scozzese tratta sia argomenti teoretici che applicati riguardanti i linguaggi di programmazione e la verifica formale.