Week 1, 14 January (17:00-19:00 Watson 310)

Study group (double session): Introduction to Homotopy Type Theory [HoTT]
Richard Kaye, Birmingham

Week 2, 21 January (17:00-19:00 Watson 310)

Study group: HoTT chapter 1

Speaker: Walter Dean (Warwick)
On constructive validity and the interpretation of intuitionistic logic in the Theory of Constructions

Week 3, 28 January (17:00-19:00 Watson 310)

Study group: HoTT chapter 2

Speaker: David Miller (Warwick)
Proving choice without choice

Week 4, 4 February (17:00-19:00 Watson 310)

Study group: HoTT chapter 2

Speaker: Zachiri McKenzie (Cambridge)
Universal-existential sentences in the simple theory of types

Week 5, 11 February: we will not be meeting this week.

Week 6, 18 February (17:00-19:00 Watson 310)

Study group: HoTT chapter 3

Speaker: Alex Jones and Richard Kaye (Birmingham)
Collection and Satisfication

Week 7, 25 February (16:30-18:00 Watson 310 -- UNUSUAL TIME)

Study group: TBC

Speaker: Kentaro Fujimoto (Bristol)
Some uses and applications of truth theory in logic

Week 8, 4 March (17:00-19:00 Watson 310)

Study group: TBC

Speaker: Benedict Eastaugh (Bristol)
Computational reverse mathematics and foundational analysis

Week 9, 11 March (17:00-18:30:00 Watson 310; 18:30 Watson LRA, ground floor)

Study group: TBC

5:00 pm - Speaker: Colin McLarty (Case Western)
Galois Theory in Peano Arithmetic and Elementary Function Arithmetic

6:30 pm - IMA West Mids Branch Meeting: Piers Bursill-Hall (Cambridge)
Pythagoras? I'm sorry, you have been lied to.

Week 10, 18 March (17:00-19:00 Watson 310)

Study group: TBC

Speaker: Alastair Wilson (Birmingham)
Causation and Counterfactual Dependence in Mathematics

Prior Sessions

About the seminar

The Midlands Logic Seminar was founded in 2011 and aims to cover all areas of mathematical logic, as well as related areas of theoretical computer science, and philosophy of mathematics.

Study group

Our topic for term 2 of 2013-2014 is Homotopy Type Theory. We'll be working though parts of the book Homotopy Type Theory: Univalent Foundations of Mathematics which is freely available here.


All meetings for Term 2, 2013-14 will be Tuesday from 17:00-19:00 (study group 17:00-18:00, speakers 18:00-19:00) in room 310 of Watson Building (School of Mathematics) on the campus of the University of Birmingham.
  • campus map
  • google maps
    To get to campus, take the train from Birmingham New Street to the University stop (7 minutes).


    Dr Richard Kaye
    School of Mathematics
    University of Birmingham


    Dr Walter Dean
    Department of Philosophy
    University of Warwick