Logic List Mailing Archive

CfP: Peripatetic Seminar on Sheaves and Logic, 15th-17th November, Leiden (NL)

We are happy to announce that the 109th Peripatetic Seminar on Sheaves and Logic (PSSL 109) is set to take place over the weekend from November 15th until November 17th in the heart of Leiden, the Netherlands. The event will be held in a hybrid format so that even those who are unable to travel can participate. We gather a few highlights below; further details can be found on the PSSL 109 webpage<https://b-starkenburg.github.io/PSSL-2024/> : https://b-starkenburg.github.io/PSSL-2024/ .

Registration
There are no registration fees, but we ask that you complete the registration form found here<https://docs.google.com/forms/d/e/1FAIpQLSdW_81AONZ28nJlOww4c9CsDDuYvpnShumugpdLSJ-qReXEqw/viewform> : https://docs.google.com/forms/d/e/1FAIpQLSdW_81AONZ28nJlOww4c9CsDDuYvpnShumugpdLSJ-qReXEqw/viewform even if you plan to attend remotely. Deadline: November 1st (AoE).

Submitting proposals for contributed talks
We seek proposals for contributed talks on all aspects of category theory and its applications. Talks about work in progress are also warmly welcomed. We especially encourage PhD students and young researchers to submit their work. As PSSL is an informal gathering, there will be no formal proceedings.

In order to submit a talk, please send a pdf containing the details of your proposal (title, speaker name, abstract) to Chase Ford: m.c.ford[at]liacs.leidenuniv.nl<http://liacs.leidenuniv.nl>

Invited speakers
We will have invited talks from Paolo Perrone (University of Oxford) and Maaike Zwart (IT University of Copenhagen).



Kind regards,

Chase Ford
Leiden University
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php