The Peripatetic Seminar on Sheaves and Logic (mostly called PSSL) is an informal gathering of category theorists, type theorists and logicians that started in May 1976, when Dana Scott was a Professor in Oxford, UK.
The seminar has been very influential, but since it is has been always very informal, there are few sources of information on its contents over the years. The seminar used to meet three times a year, corresponding to the traditional terms in the academic calendar in the UK, but in recent years it has met less intensively. During 2020-21 it hasn’t met at all.
A list of all speakers and titles of the first 100 PSSL meetings:
Events after PSSL 100:
PSSL 101 (2017, Leeds)
PSSL 102 (2018, Santiago de Compostela)
PSSL 104 (2018, Amsterdam)
PSSL 106 (2022, Brno)
PSSL 107 (2023, Athens) schedule and abstracts
PSSL 108 (2023, Terrasini)
PSSL 109 (2024, Leiden)
PSSL 110 (2025, Tallinn) schedule and abstracts
PSSL 111 (2025, Bologna) schedule and abstracts
PSSL 112 (2026, Nottingham) schedule and abstracts
PSSL 113 (2026, Louvain-la-Neuve)
Last revised on April 14, 2026 at 08:46:46. See the history of this page for a list of all contributions to it.