Logic Colloquium 2016: second announcement

[Nicola Gambino]

[Apologies for multiple postings]

*** Logic Colloquium 2016
*** University of Leeds, UK
*** July 31st - August 6th, 2016

Dear colleagues and friends,

I am writing to announce the list of invited speakers, tutorial speakers, and special sessions of the Logic Colloquium 2016. In addition to these, there will be also the Gödel Lecture 2016.

PLENARY SPEAKERS

Benno van den Berg
Laurent Bienvenu
Richard Garner
Rob Goldblatt
Itay Kaplan
Toniann Pitassi
Farmer Schlutzenberg
Dima Sinapova
Henry Towsner
Timothy Williamson
Boris Zilber

TUTORIAL SPEAKERS

Thierry Coquard (Univalent Foundations)
Uri Andrews (Computable model theory)

SPECIAL SESSIONS

Set Theory (organized by Boban Velickovic and Itay Neeman)
Computability Theory (organized by Iskander Kalimullin and Sebastiaan Terwijn)
Formal Theories of Truth (organized by Ole Hjortland and Dave Ripley)
Homogeneous Structures: Model Theory meets Universal Algebra (organized by Gregory Cherlin and Michael Pinsker)
Model theory and limit structures (organized by Rehana Patel and Cameron Hill)
Proof Theory and reverse mathematics (organized by Andreas Weiermann and Antonio Montalban)

For further information, please see the web page

http://www.lc2016.leeds.ac.uk

We expect that the registration will open in early February.

With best wishes,
Nicola Gambino (on behalf of the organizing committee)



===
Dr Nicola Gambino
School of Mathematics
University of Leeds
E-mail: n.ga...@leeds.ac.uk