Embedded Files
L∅GICAL B∃INGS runs semester-based reading groups aimed at exploring contemporary issues in logic and philosophy of mathematics. Our community extends beyond philosophy; we cultivate an interdisciplinary environment that includes philosophically oriented mathematicians and computer scientists as well.
If you are interested in joining reading groups, please contact us via email or join our Discord server!
Upcoming Reading Group
Upcoming Reading Group
Homotopy Type Theory: Univalent Foundations of Mathematics
For the Winter 25/26, we are reading Homotopy Type Theory: Univalent Foundations of Mathematics (The HoTT Book). Our primary goal is to understand the technical foundations of HoTT and how it brings homotopy theory and type theory together. We will specifically focus on the Univalence Axiom and Higher Inductive Types.
Book: The HoTT Book (Link)
Schedule: TBD (Weekly Online Seminar)
Survey: Nextcloud Forms
Slack: Workspace Link
The schedule for this has yet been decided. If you are interested in, please fill the survey and join our Slack workspace, by using links above!
Past Reading Groups
Past Reading Groups
To see our past reading groups, please visit our Archive Page.
Page updated
Report abuse