Email Gateway (Aug 18 2025 at 13:28): Email Gateway (Aug 18 2025 at 13:28):From: 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:
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 <https://matteocapucci.wordpress.com/>, twitter
<https://twitter.com/mattecapu>
*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.
Last updated: Aug 20 2025 at 20:23 UTC