• Zoé Chatzidakis, École Normale Supérieure, Paris, France

  A survey of the model theory of difference fields

• Hannes Leitgeb, Ludwig-Maximilians-Universität München, Germany

  HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes)

• Yiannis Moschovakis, University of California, Los Angeles, USA

  Intrinsic Complexity

• Andrea Sorbi, Università di Siena, Italy

  Computability Relative to Imperfect Databases

• Wolfgang Thomas, Rheinisch-Westfälische Technische Hochschule, Aachen, Germany

  Algorithmic Results on Infinite Games: From the Cantor Space to the Baire Space

• Timothy Williamson, University of Oxford, UK

  Alternative Logics and Applied Mathematics

• Valentina Harizanov, George Washington University, USA

  Computable Structure Theory

• Ya'acov Peterzil, University of Haifa, Israel

  O-minimal Structures and Some Applications

• Anand Pillay, University of Notre Dame, USA

  Keisler measures in Model Theory

Organized by:

• Pantelis Eleftheriou, University of Konstanz, Germany
• Rizos Sklinos, Université Lyon 1, France

Invited special session speakers:

• Artem Chernikov, University of California, Los Angeles, USA

  Model Theory and Incidence Combinatorics

• Amador Martin-Pizarro, Université Lyon 1, France

  A Simple Remark

• Enrique Casanovas, Universitat de Barcelona, Spain

  Orbits of Subsets of the Monster Model and Geometric Theories

• Frank Wagner, Université Lyon 1, France

  The Golden Ginger Ale

Organized by:

• Alexandra Soskova, Sofia University, Bulgaria

Invited special session speakers:

• Damir Dzhafarov, University of Connecticut, USA

  The Strength of the Tree Theorem for Pairs

• Ekaterina Fokina, Vienna University of Technology, Austria

  Degree Spectra of Structures with Respect to the Bi-embeddability Relation

• Andy Lewis-Pye, London School of Economics, UK

  The Stream Compression Theorem

• Joseph Miller, University of Wisconsin, Madison, USA

  Characterizing the Continuous Degrees

• Antonio Montalban, University of California, Berkeley, USA

  Computability Theory on a Cone

• Paul Shafer, University of Leeds, UK

  The Reverse Mathematics of Caristi's Fixed Point Theorem