Past events
Manchester Number Theory Seminar - Yichen You
14:00 - 15:00 6 May 2025
Speaker: Yichen You (Durham) Title: TBA Abstract: TBA Room: Frank Adams 1
Logic seminar: Andrew Pitts
14:00 - 15:00 30 April 2025
Title: Heyting Algebras and Higher-Order Logic Abstract: Every logical theory gives rise to a Lind...