From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8792 Path: news.gmane.org!not-for-mail From: Nicola Gambino Newsgroups: gmane.science.mathematics.categories Subject: Logic Colloquium 2016 Date: Fri, 15 Jan 2016 10:28:30 -0400 (AST) Message-ID: Reply-To: Nicola Gambino NNTP-Posting-Host: plane.gmane.org X-Trace: ger.gmane.org 1453047416 31933 80.91.229.3 (17 Jan 2016 16:16:56 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 17 Jan 2016 16:16:56 +0000 (UTC) To: categories Original-X-From: majordomo@mlist.mta.ca Sun Jan 17 17:16:48 2016 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1aKq0U-0007ze-QC for gsmc-categories@m.gmane.org; Sun, 17 Jan 2016 17:16:46 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:43512) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1aKpzR-0002rm-9h; Sun, 17 Jan 2016 12:15:41 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1aKpzM-0003Oy-9c for categories-list@mlist.mta.ca; Sun, 17 Jan 2016 12:15:36 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8792 Archived-At: [Apologies for multiple postings] *** Logic Colloquium 2016 *** University of Leeds, UK *** July 31st - August 6th, 2016 Dear colleagues and friends, The Logic Colloquium 2016 will be held at the University of Leeds (UK)=20 from July 31st to August 6th. As you see below, some of invited speakers=20 and tutorial speakers work on categorical logic. We are also planning to have a workshop on Categorical Logic and Univalent= =20 Foundations just before the Logic Colloquium, July 27th-29th. You may find below the list of invited speakers, tutorial speakers, and=20 special sessions of the Logic Colloquium 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 In addition to these, there will be also the G=F6del Lecture 2016. 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 Terwi= jn) 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 Hi= ll) Proof Theory and reverse mathematics (organized by Andreas Weiermann and An= tonio 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) =3D=3D=3D Dr Nicola Gambino School of Mathematics University of Leeds E-mail: n.gambino@leeds.ac.uk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]