Theoretical CS education and events ∀ {students}.
TypeSig is a student-run special interest group for semantics, programming language theory, type theory, compilers, concurrency, and any other field of theoretical CS.
About usAdvent of Proof
UPDATE: Advent of Proof 2023 has now concluded! Thank you all so much for participating,...
TypeSig Talks: Philip Wadler
Yesterday was another successful TypeSig Talk!
TypeSig Talks: Anton Lorenzen and John Baez
Yesterday was our very first TypeSig Talks event!
Kevin Buzzard Lecture
Yesterday was the Annual Lecture for Mathematics Students, which we co-hosted wih the School of...
Weekly Lean Hacking with MathsSoc
We’ve collaborated with MathsSoc to bring you our first regular event: weekly hacking with the...
Welcome to TypeSig!
This is a dedicated space for people to nerd out about semantics, type theory, programming...