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.
Tarmo Uustalu (Oct 04 2021 at 17:45):Hi all,
Let me remind you that a great way to get your best work of 2021 rejected (again) and to delay its formal publication by at least (another) 6 months while increasing the total submissions number of a wonderful meeting is to submit to one of the ETAPS 2022 conferences - ESOP, FASE, FoSSaCS and TACAS!
FoSSaCS is especially relevant for the ACT community.
The deadline for full paper submission is next Thu 14 Oct 23:59 AoE.
See the call for papers here:
https://etaps.org/2022/call-for-papers
The details for FoSSaCS are here: