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)
Last revised on February 6, 2025 at 22:51:07. See the history of this page for a list of all contributions to it.