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 us
TypeSig Talks: Anton Lorenzen and John Baez
Yesterday was our very first TypeSig Talks event!
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...
Kevin Buzzard Lecture
Yesterday was the Annual Lecture for Mathematics Students, which we co-hosted wih the School of...
Our Sponsors
