Speaker: Nick EvansDate: Tuesday, October 4, 2016 - 12:00Room: Seminar room (46/5081)Title: Introductory talk Formal TheoryAbstract: TBA Slides: Evans.pdf