You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Marie Kerjean (Jan 10 2023 at 12:51):Hi everyone,
We will be posting MFPS call for paper soon, and I thought I'll advertise here too. MFPS 2023 is colocated with CALCO, it will take place at Indiana University Bloomington on June 20-23. It is centered around the semantics of programming language and it is a good fit for categorical papers.
Abstract Submission is March 24, Paper Submission is March 31, 2023.
More details on the PC and invited speakers can be found here :
https://coalg.org/calco-mfps-2023/mfps/
Note that MFPS will happen just before LICS, and that both conferences are located in the US, making it possible to participate to LICS workshops and conference after going to MFPS/CALCO.