CMU Summer School in LFE

59 views
Skip to first unread message

Steve Awodey

unread,
Dec 15, 2023, 12:01:34 PM12/15/23
to Homotopy Type Theory, abj...@cmu.edu
Applications for the 2024 CMU Summer School in Logic and Formal Epistemology are now officially open!

https://www.cmu.edu/dietrich/philosophy/undergraduate/summer-school/

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 abj...@cmu.edu.
Reply all
Reply to author
Forward
0 new messages