10-12 Sep 2016
Hamburg, Germany
COLLOQUIUM LOGICUM 2016 www.math.uni-hamburg.de/spag/ml/CL2016 10-12 September 2016, Hamburg, Germany Submission deadline: 20 June, 2016 ______________________________________________________________ The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften" (DVMLG). In 2016 the colloquium is organized by the group "Mathematical Logic and Interdisciplinary Applications of Logic" of the University of Hamburg, Germany. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence. Keynote Speakers. * Dana Bartosova (São Paulo, Brazil) * Elisabeth Bouscaren (Paris, France) * Ekaterina Fokina (Vienna, Austria) * Laura Fontanella (Jerusalem, Israel) * Philipp Hieronymi (Urbana-Champaign, IL, USA) * Rosalie Iemhoff (Utrecht, the Netherlands) * Gyesik Lee (Anseong, South Korea) * Norbert Preining (JAIST, Nomi, Ishikawa, Japan) * Szymon Torunczyk (Warsaw, Poland) * Charlotte Werndl (Salzburg, Austria and London, UK) In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates. The programme committee invites the submission of abstracts of papers of all fields of research covered by the DVMLG: mathematical logic and the foundations of the exact sciences (including logic in philosophy, computer science and artificial intelligence). Abstracts should have between 100 and 500 words and are to be submitted via the easychair submission page * https://easychair.org/conferences/?conf=cl2016 The submission deadline is * Monday, 20 June, 2016. Authors of papers will be notified about acceptance soon after that. Programme Committee * Matthias Aschenbrenner (Los Angeles, USA) * Arnold Beckmann (Swansea, USA) * Manuel Bodirsky (Dresden, Germany) * Martin Hils (Paris, France) * Benedikt Löwe (Amsterdam, the Netherlands and Hamburg, Germany) * Thomas Müller (Konstanz, Germany) * Anca Muscholl (Bordeaux, France) * Michael Rathjen (Leeds, UK) * Olivier Roy (Bayreuth, Germany) * Nicole Schweikardt (Berlin, Germany) * Mariya Soskova (Sofia, Bulgaria) * Martin Ziegler (Daejeon, South Korea) Webpage * http://www.math.uni-hamburg.de/spag/ml/CL2016/ The Colloquium Logicum 2016 is generously funded by the Deutsche Forschungsgemeinschaft (DFG-grant LO 834/14-1) If you have any questions, please contact us by email at cl2016.math@lists.uni-hamburg.de. -- [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