Speaker: 
Nick Evans
Speaker affiliation: 
University of Southampton
Date: 
Tuesday, October 16, 2018 - 12:30
Room: 
Seminar room (46/5081)
Title: 
Introduction to Formal Theory
Abstract: 

Slides available here.