categories - Category Theory list
 help / color / mirror / Atom feed
* PSSL111 - Second Announcement
@ 2025-08-17 20:45 Matteo Capucci
  0 siblings, 0 replies; only message in thread
From: Matteo Capucci @ 2025-08-17 20:45 UTC (permalink / raw)
  To: types-announce, cl-isabelle-users, rewriting, ProofTheory,
	coq-club, caml-list, clap, gt-scalp, cade, finite-model-theory,
	lfcs-interest, linear, GAMES, agda, types, categories

[-- Attachment #1: Type: text/plain, Size: 2467 bytes --]

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:

 > https://progetto-itaca.github.io/pssl111/<https://url.au.m.mimecastprotect.com/s/MlkICNLJxki0XGN2xtmfGsypSXj?domain=progetto-itaca.github.io/>

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://url.au.m.mimecastprotect.com/s/PYO9COMK7Ycp4yA6XhvhMsGK2Rf?domain=matteocapucci.wordpress.com/>, twitter<https://url.au.m.mimecastprotect.com/s/OnY1CP7L1NfKMk47mf1iQsxaxDe?domain=twitter.com>

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=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 5855 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2025-08-17 20:48 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2025-08-17 20:45 PSSL111 - Second Announcement Matteo Capucci

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).