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: CMU Summer School in LFE


view this post on Zulip Steve Awodey (Dec 15 2023 at 16:58):

Applications for the 2024 CMU Summer School in Logic and Formal Epistemology are now officially open!

June 3–7
Francesca Zaffora Blando & Krzysztof Mierzewski
"Chance and Randomness"

June 10–14
Jonas Frey & Reid Barton
"Categorical Semantics and Synthetic Topology"

June 17–21
Clark Glymour & Kun Zhang
"The Logic of Discovery"

The school runs for 3 weeks, June 3–21, and is open to all undergraduate and early-stage graduate students. There is no tuition and on-campus lodging is provided free of charge for the duration of the program.
Applications close February 14.
Any questions can be sent to abjorn@cmu.edu.