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: Monday Weekly Online Seminar (19:00-21:00. From 5th of Jan, 2026)
Survey: Nextcloud Forms
Slack: Workspace Link
25/26 HoTT Study will be held online every Monday, starting at 19:00 (From 5th of Jan and onward). If you are interested, please join our Slack workspace!
Past Reading Groups
Past Reading Groups
To see our past reading groups, please visit our Archive Page.
Page updated
Report abuse