You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
(=_=) (May 25 2020 at 04:54):Would anyone be interested in a topic about the history of PSSL?
Alexis Hazell (May 25 2020 at 05:14):Rongmin Lu said:
Would anyone be interested in a topic about the history of PSSL?
I would. :-)
(=_=) (May 25 2020 at 05:21):Cool. Done!
sarahzrf (May 25 2020 at 06:10):PSSL?
(=_=) (May 25 2020 at 06:24):sarahzrf said:
PSSL?
It's the Peripatetic Seminar on Sheaves and Logic. The historical record, alas, is also a little peripatetic. :sweat_smile:
(=_=) (May 25 2020 at 06:26):Valeria de Paiva mentioned in Joachim Kock's AMA that she once had to accommodate Anders Kock at her place for a PSSL because the accommodation arrangements were messed up for some reason. I had the same question as you, and went to look for the answer.
(=_=) (May 25 2020 at 06:27):Here's what I found and posted:
For the uninitiated: PSSL is the Peripatetic Seminar on Sheaves and Logic, which "grew out of Dana Scott's seminars for his research students at Oxford."
For historical interest: Gavin Wraith maintains a list of PSSLs up until the 70th (1976-99), while Valeria has a list covering PSSL 71-94. The most recent PSSL would have been the 106th at Leeds if not for COVID-19.
(=_=) (May 25 2020 at 06:30):It's actually a pretty famous seminar series, so I'm hoping we could hear some interesting stories.
Morgan Rogers (he/him) (May 25 2020 at 10:51):I actually gave a talk at the last one (the 105th), held in Palermo last year. The 106th was supposed to be in Leeds this April. Maybe it will eventually happen..!
Valeria de Paiva (May 26 2020 at 03:51):Morgan Rogers said:
I actually gave a talk at the last one (the 105th), held in Palermo last year. The 106th was supposed to be in Leeds this April. Maybe it will eventually happen..!
so ok, we got the websites for PSSL 105 https://sites.google.com/view/pssl-105, and PSSL 104 https://mysite.science.uottawa.ca/phofstra/PSSL18.html. Looks like we're out of luck with PSSL 103. Google only found "Masaryk University will host the 103rd edition of PSSL. We look forward to see you in Brno! all the relevant informations are on the conference website." but he conference website gives me a 404. I had more luck with PSSL 102, https://www.usc.es/regaca/pssl102/ Finally we get http://www1.maths.leeds.ac.uk/~pmtng/PSSL/pssl101.html.