Logic Colloquium 2012 - University of Manchester, 12th-18th July 2012
- Plenary Sessions (updated 1st August with some slides)
- Special Sessions (updated 11th August with some slides)
- Contributed Talks
- Programme and Local Organising Committees
- Downloadable Information Booklet and Timetable
- Download Poster
The meeting was funded by the Association for Symbolic Logic, the British Logic Colloquium, the London Mathematical Society and the Manchester Institute for Mathematical Sciences. It formed one of a series of events around the country celebrating Alan Turing Year. Additional support for participants was provided by the ASL and the US National Science Foundation.