Logic Colloquium 2016, July 31- August 6, 2016

The Logic Colloquium 2016, organized under the auspices of the Association for Symbolic Logic, will be held at the University of Leeds (UK) from July 31 to August 6.

Plenary Speakers


Special Sessions

  • Set theory
    Organizers: Boban Velickovic, Itay Neeman

    • Andrew Marks – UCLA
    • David Schrittesser – University of Copenhagen
    • Anush Tserunyan – UI Urbana Champaign
    • Nam Trang – UC Irvine
  • Topic: Computability theory
    Organizers: Iskander Kalimullin, Sebastiaan Terwijn.
  • Topic: Formal Theories of Truth
    Organizers: Ole Hjortland, Dave Ripley
  • Topic: Homogeneous Structures: Model Theory meets Universal Algebra
    Organizers: Gregory Cherlin, Michael Pinsker
  • Topic: Model theory and limit structures
    Organizers: Rehana Patel, Cameron Hill
  • Topic: Proof theory and reverse mathematics
    Organizers: Andreas Weiermann, Antonio Montalban

Programme Committee


Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.