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 2014-2015 with be combinatorial game theory as
developed in Conway's On numbers and games and Berlekamp, Conway,
and Guy's Winning Ways.
Logistics
All meetings for Term 2 2014-15 will be Tuesday from 16:00-18:00 (study group 16:00-17:00, research talks 17:00-18:00) at 52 Pritchatts Road LT1, on the campus of the University of Birmingham.