11th Panhellenic Logic Symposium

July 12-16, 2017
Delphi, Greece

Invited Talks

  • 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

Special Session: Model Theory

Organized by:

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

Special Session: Computability Theory

Organized by:

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