Logic Colloquium 2012 - Special Session Speakers

Philosophy of Mathematics and Computer Science (organiser: R. Turner)

• Leon Horsten (Bristol)
• Samson Abramsky (Oxford)
• Johan van Benthem (Amsterdam)
• Giovanni Sambin (Padova)

Computability, Logical and Physical (organiser: B. Cooper)

• Klaus Ambos-Spies (Heidelberg)
• Marat Arslanov (Kazan)
• Vincent Danos (Edinburgh)
• Fay Dowker (Imperial College, London)

Model Theory (organiser: M. Tressl)

• Elias Baro (Universidad Complutense de Madrid)
• Abderezak Ould Houcine (Université Claude Bernard Lyon 1)
• Francoise Point (Université de Mons)
• Pierre Simon (ENS Paris)

Homotopy Type Theory (organiser: S. Awodey)

• Peter Aczel (Manchester)
• Nicola Gambino (Palermo)
• Martin Hyland (Cambridge)
• Peter Lumsdaine (Dalhousie)

Set Theory (organiser: U. Abraham)

• Mirna Dzamonja (East Anglia)
• David Aspero (Technische Universitaet, Wien)
• Dilip Raghavan (Kobe)
• James Cummings (Carnegie Mellon)

Proof Theory (organiser: L. Beklemishev)

• Arnold Beckmann (Swansea)
• Thomas Strahm (Bern)
• Albert Visser (Utrecht)
• Stan Wainer (Leeds)