Logic Colloquium 2012 - Plenary Sessions
Tutorials- Ilijas Farah: Elliott's program and descriptive set theory (abstract | slides part 1 | slides part 2 | slides part 3)
- Antonio Montalbán: Reverse mathematics (abstract)
- Boris Zilber: Pseudo-analytic structures: model theory and algebraic geometry (abstract | slides)
- Jeremy Avigad: Computability and convergence (abstract | slides)
- Andreas R. Blass: Symbioses between mathematical logic and computer science (abstract | slides)
- Michael Rathjen (Goodstein Lecture): From Goodstein sequences to graph theory and weak consistency (abstract)
- Gareth Jones: Counting rational points on definable sets (abstract)
- Péter Komjáth: Some results on infinite graphs (abstract | slides)
- Leonid Levin: Computers: who are they and what is beyond them (abstract)
- Giuseppe Longo: Schroedinger (1944) and Turing (1952) on the logic of life (abstract | slides)
- Angus Macintyre (Turing Lecture): Turing meets Schanuel
- Menachem Magidor: Getting forcing axioms by finite support iteration (abstract | slides)
- Zlil Sela: The elementary theory of free products of groups (abstract)
- V. Yu. Shavrukov: Non-standard elements of r.e. sets (abstract | slides)
- Alexandra Shlapentokh: First-order and existential definability and decidability in positive characteristic (abstract | slides)
- Mariya I. Soskova: The Turing universe in the context of enumeration reducibility (abstract)