31 Jul - 6 Aug 2016
Leeds, England
2016 ASL European Summer Meeting (Logic Colloquium '16) Leeds, England July 31--August 6, 2015 http://www.lc2016.leeds.ac.uk The twenty-seventh annual Gödel Lecture will be delivered by S. Todorcevic. The invited speakers include: B. van den Berg, L. Bienvenu, R. Garner, R. Goldblatt, I. Kaplan, T. Pitassi, F. Schlutzenberg, D. Sinapova, H. Towsner, T. Williamson, and B. Zilber. Tutorials (with the topic in parenthesis) will be offered by U. Andrews (Computable model theory) and T. Coquand (Univalent foundations). The following special sessions will be offered (with organizers in parentheses): Computability theory (I. Kalimullin and S. Terwijn); Formal theories of truth (O. Hjortland and D. Ripley); Homogeneous structures: model theory meets universal algebra (G. Cherlin and M. Pinsker); Model theory and limit structures (C. Hill and R. Patel); Proof theory and reverse mathematics (A. Montalban and A. Weiermann); and, Set theory (I. Neeman and B. Velickovi?). The Program Committee members are: M. Bodirsky, S. Buss, N. Gambino, R. Iemhoff (Chair), H. Leitgeb, S. Lempp, M. Malliaris, R. Schindler, and Y. Venema. The Local Organizing Committee includes: O. Beyersdorff, S.B. Cooper, N. Gambino (Chair), I. Halupczok, H.D. Macpherson, V. Mantova, M. Rathjen, J.K. Truss, and S.S. Wainer. Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts (see above). Abstracts can be submitted at http://www.lc2016.leeds.ac.uk/submission.html; the deadline for submission is April 29, 2016. Rules for Abstracts. The rules for abstracts of contributed talks at ASL meetings (including those submitted "by title'') may be found at http://www.aslonline.org/rules_abstracts.html [www.aslonline.org]. Please note that abstracts must follow the rules as set forth there; those which do not conform to the requirements will be returned immediately to the authors submitting them. Revised abstracts that follow the rules will be considered if they are received by the announced deadline. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam