Category Theory
Zulip Server
Archive

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.

Stream: community: events

Topic: NWPT '21, Reykjavik

Tarmo Uustalu (Oct 04 2021 at 18:23):

NWPT '21 - the 32nd Nordic Workshop on Programming Theory - goes ahead as a hybrid meeting in Reykjavik 4-6 Nov 2021. (It had to be cancelled in 2020.)

http://icetcs.ru.is/nwpt21

Needless to say, category theory is a very noble way to do programming theory.

Submission of 2-3 pp abstracts (no formal publication): 10 Oct 23:59 AoE.

The programme features the currently active Geldingadalir volcano (which may be deep in a cloud by the moment we get there).