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:
PSSL101 (2017, Leeds)
PSSL102 (2018, Santiago de Compostela)
PSSL104 (2018, Amsterdam)
PSSL106 (2022, Brno)
PSSL107 (2023, Athens) schedule and abstracts
PSSL108 (2023, Terrasini)
PSSL109 (2024, Leiden)
Last revised on October 24, 2024 at 11:41:51. See the history of this page for a list of all contributions to it.