Skip to content. | Skip to navigation
Congratulations to Willem Heijltjes on passing his PhD viva for his thesis: Graphical Representation of Canonical Proof: Two case studies
LFCS Seminar: Thomas Streicher
Congratulations to Iain Whiteside who has been awarded an internship at NASA Ames this summer.