The 2012 ASL European Summer Meeting will take place 12th-18th July 2012 (University of Manchester).
Tutorials
- Ilijas Farah: Elliott’s program and descriptive set theory (abstract)
- Antonio Montalbán: Reverse mathematics (abstract)
- Boris Zilber: Pseudo-analytic structures: model theory and algebraic geometry (abstract)
Plenary Lectures
- Jeremy Avigad: Computability and convergence (abstract)
- Andreas R. Blass: Symbioses between mathematical logic and computer science (abstract)
- 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)
- 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)
- Angus Macintyre (Turing Lecture): Turing meets Schanuel
- Menachem Magidor: Getting forcing axioms by finite support iteration (abstract)
- Zlil Sela: The elementary theory of free products of groups (abstract)
- V. Yu. Shavrukov: Non-standard elements of r.e. sets (abstract)
- Alexandra Shlapentokh: First-order and existential definability and decidability in positive characteristic (abstract)
- Mariya I. Soskova: The Turing universe in the context of enumeration reducibility (abstract)
Special Session on Set Theory (organiser: U. Abraham)
- Mirna Dzamonja (East Anglia): Forcing axioms
- David Asperó (Technische Universitaet, Wien): Ω-completeness and forcing axioms
- Dilip Raghavan (Kobe): Bounding, splitting, and almost disjointness
- James Cummings (Carnegie Mellon): Infinitary methods in finite combinatorics
Registration now open