Speaker: 
Tim Morris
Speaker affiliation: 
University of Southampton
Date: 
Tuesday, October 15, 2019 - 12:30
Room: 
Seminar room (46/5081)
Title: 
Introduction to Formal Theory
Abstract: 

Introduction to Formal Theory.