Wednesday, April 16, 2025 - 15:00
MS2
Title: Reasoning about Mathematical ‘If-Then’ Statements
Speaker: Prof. Lara Alcock (Loughborough University)
This talk will be held in MS2, top floor of Logic House.