nLab Peripatetic Seminar on Sheaves and Logic

Related pages

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:

  • Julia Goedecke, The Peripatetic Seminar on Sheaves and Logic, contribution to PSSL 100 (May 2016) [pdf, github]

Events after PSSL 100:

category: reference

Last revised on September 9, 2024 at 11:14:20. See the history of this page for a list of all contributions to it.