Dear all, We are happy to announce that the 111st Peripatetic Seminar on Sheaves and Logic (PSSL111) is set to take place on Thursday and Friday September 4th–5th, 2025, in Bologna, Italy. This edition of the PSSL is being organized by Matteo Capucci (matteo.capucci@gmail.com<mailto:matteo.capucci@gmail.com>) and Vikraman Choudhury (vikraman.choudhury@unibo.it<mailto:vikraman.choudhury@unibo.it>). All the information (venue, schedule of talks) are already or will be posted on the event webpage:
There are no registration fees, but we kindly ask that you complete the registration form by August 28th at the latest. You may find the link in the aforementioned webpage. When registering, you'll be given the option to submit a talk proposal. 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. Contributions from the logic, type theory, and the programming languages community would be most welcome. Apologies for multiple postings. We can't wait to see you in Bologna! Matteo and Vikraman ------------------------------------------------------------------------------------- Matteo Capucci (he/him) University of Strathclyde / ARIA Creator website, twitter I sometimes email outside standard working hours as this is convenient for me. Please don't feel the need to respond until you are at work. You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>