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
Advent of Proof 2024 Edition!
TypeSig is pleased to announce that Advent of Proof is returning this year! Click here...
TypeSig Returns!
TypeSig is officially one year old! We’re celebrating with a brand new URL, an updated...
TUPLE Conference
TUPLE (Types Union Programming Languages, Edinburgh) is a new student conference organised by TypeSig. The...
Advent 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...
Our Sponsors
