Events and news relevant to the Laboratory for Foundations of Computer Science

[Matteo Capucci <matteo.capucci@gmail.com>]

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) and Vikraman Choudhury (vikraman.choudhury@unibo.it).

All the information (venue, schedule of talks) are already or will be posted on the event webpage:

 > https://progetto-itaca.github.io/pssl111/

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.