11-13 Jun 2018
Gothenburg, Sweden
Tenth Scandinavian Logic Symposium 2018: * Second Announcement * Update on invited speakers * Lindström Lectures 2018 * Call for Registration June 11-13, 2018, Gothenburg, Sweden http://scandinavianlogic.org/sls2018 ----------------- The Tenth Scandinavian Logic Symposium (SLS 2018) will be held at the University of Gothenburg, Sweden during June 11-13, 2018, under the auspices of the Scandinavian Logic Society. The previous two meetings of the SLS were held in Tampere, Finland (2014) and Roskilde, Denmark (2012). The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks. The scope of this event covers mathematical, computational, and philosophical logic. The major topics include (but are not limited to) the areas of Proof Theory, Constructivism, Model Theory, Set Theory, Computability Theory, Algebra and Logic, Categorical Logic, Logic and Computer Science, Logic and Linguistics, Logic in AI and Multi-Agent Systems, Logics of Games, Modal and other non-classical Logics, Axiomatic Theories of Truth, and Philosophical Logic. We are proud to announce that the 2018 Lindström Lectures will be a part of SLS 2018 and delivered by Michael Rathjen. For more information see https://flov.gu.se/english/research/research-areas/logic/lindstrom-lectures IMPORTANT DATES ----------------- New abstract deadline: April 8, 2018 Notification: April 20, 2018 Early registration deadline: May 1, 2018 Main event: June 11-13, 2018 INVITED SPEAKERS ----------------- - Joel Hamkins (CUNY) - Luke Ong (Oxford) - Michael Rathjen (Leeds) - Katrin Tent (Münster) SUBMISSIONS OF CONTRIBUTED TALKS ----------------- Abstracts of contributed talks must be submitted as pdf files via EasyChair: https://easychair.org/conferences/?conf=sls2018 The abstracts should be prepared according to the ASL abstract guidelines: http://www.aslonline.org/rules_abstracts.html Upon notification of acceptance, authors will be requested to submit the LaTeX source files. REGISTRATION ----------------- Registration is now open. See the conference website for details. PROGRAMME AND ORGANISING COMMITTEE ----------------- - Bahareh Afshari (co-chair) - Rasmus Blanck - Ali Enayat (co-chair) - Fredrik Engström - Martin Kaså - Graham Leigh ENQUIRIES ----------------- For enquiries please email: sls2018 at flov.gu.se SPONSORS ----------------- * Association for Symbolic Logic * Department of Philosophy, Linguistics and Theory of Science (University of Gothenburg) * Knut and Alice Wallenberg Foundation * Wenner-Gren Stiftelserna -- [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