Please note, this is archived content and is no longer being updated. It is provided for historical records. Links on the pages may be broken or redirect to our current site.
Archived
material
You are here: MIMS > events > workshops and conferences > Logic Colloquium 2012 > Special Sessions
MIMS

Logic Colloquium 2012 - Special Sessions

Alan Turing Building
The Alan Turing Building
Philosophy of Mathematics and Computer Science (organiser: R. Turner)
Computability, Logical and Physical (organiser: B. Cooper)
Model Theory (organiser: M. Tressl)
Homotopy Type Theory (organiser: S. Awodey)
Set Theory (organiser: U. Abraham)
Proof Theory (organiser: L. Beklemishev)
Last modified: August 26, 2012 8:29:52 PM BST.

MIMS The University of Manchester - School of Mathematics - Oxford Road- Manchester - M13 9PL - UK

For further information contact mims@manchester.ac.uk, tel: +44 (0)161 306 3641 or visit http://www.maths.manchester.ac.uk/mims