Midlands Logic Seminar 2012: Session 9, Thursday 8th March

3.30pm Study group session on Arithmetic and Complexity Theory

Mike Cox will talk about the linear time hierarchy.

4.45pm Research Seminar

David Miller (Warwick) The Non-classical side of classical logic.

OHP slides (in PDF format) are available here.


Midlands Logic Seminar 2012