Programme

Cours/Courses/Kurse

• David Evans: Model-theoretic constructions via amalgamation and reducts
• Jean-Louis Krivine: Proofs and programs: classical realizability
• Alain Louveau: Théorie descriptive et jeux infinis
• Martin Otto: Games and Model constructions in algorithmic model theory

Exposés/Lectures/Vorträge

• Mirna Dzamonja: The connections between Hrushovski constructions, SOP_n properties and universality
• Pierre Matet: Large cardinals and cardinal arithmetic
• Margarita Otero: Introduction to o-minimality
• Sebastiaan Terwijn: Constructive Logic and computational lattices
• Laurent Théry: Formalising mathematics on computer
• Jouko Väänänen: The Interpolation Theorem in abstract model theory

Communications/Kurzvorträge

• Bahareh Afshari: The lattice of computable enumerable sets and the jump operator
• Gareth Boxall: The model theory of dense pairs of real closed fields
• Fransisco Chaves Alonso: A library of Taylor models for PVS automatic proof checker
• Luca Chiarabini: Manipulation of formal proof in MINLOG
• Pavel Hrubes: Some observations on the complexity of polynomials
• Jürgen Landes: Spectrum exchangeability and induction
• Anthony Morphett: Degrees of randomness
• Azadeh Neman: Shelah's independance property and Gromov's hyperbolic groups
• Mariya Soskova: Cupping Delta 2 enumeration degrees
• Luca Spada: Finite and infinite forcing in Lukasiewicz logic
• Trifon Trifonov: Extracting computational content from classical proof using the light Dialectica interpretation

Horaires/Timetable/Stundenplan

Institut Camille Jordan Université Claude Bernard Lyon-I 43 boulevard du 11 novembre 1918 69622 Villeurbanne cedex France	Ecole normale supérieure de Lyon 46, allée d'Italie 69364 Lyon cedex 07 France	Università degli Studi di Torino Via Verdi, 8 10124 Torino