12-18 July 2012
Manchester, U.K.
Logic Colloquium 2012
http://www.mims.manchester.ac.uk/LC2012/
will be held at the University of Manchester from Thursday 12th to
Wednesday 18th July 2012.
Invited plenary speakers include Jeremy Avigad, Andreas R.
Blass, Samuel R. Buss, Harvey Friedman, Gareth Jones, Péter Komjáth,
Leonid Levin, Giuseppe Longo, Angus Macintyre, Menachem Magidor, Zlil
Sela, V. Yu. Shavrukov, Alexandra Shlapentokh and Mariya I. Soskova.
There will be tutorial courses on set theory (Ilijas Farah),
computability theory (Antonio Montalbán) and model theory (Boris Zilber).
Special session topics include:
- Philosophy of Mathematics and Computer Science
- Computability, Logical and Physical
- Model Theory
- Homotopy Type Theory
- Set Theory
- Proof Theory
For full details of the conference, including online registration
and accommodation booking, please see the website at:
http://www.mims.manchester.ac.uk/LC2012/
The meeting is held under the auspices of the Association for
Symbolic Logic, and incorporates this year's meeting of the British Logic
Colloquium. We gratefully acknowledge financial support from the ASL, the
BLC, the London Mathematical Society and the Manchester Institute for
Mathematical Sciences.