the scandinavian logic society

slideshow 1

Events

4th International Conference on Tools for Teaching Logic, 9-12 June 2015, Rennes, France

Tools for Teaching Logic seeks for original papers with a clear significance in the following topics (but are not limited to): teaching logic in sciences and humanities; teaching logic at different levels of instruction (secondary education, university level, and postgraduate); didactic software; facing some difficulties concerning what to teach; international postgraduate programs; resources and challenges for e¬Learning Logic; teaching Argumentation Theory, Critical Thinking and Informal Logic; teaching specific topics, such as Modal Logic, Algebraic Logic, Knowledge Representation, Model Theory, Philosophy of Logic, and others; dissemination of logic courseware and logic textbooks; teaching Logic Thinking.

Logic Colloquium 2015

The annual European Summer Meeting of the Association for Symbolic Logic, the Logic Colloquium 2015 (LC 2015), will be organized in Helsinki, Finland, 3-8 August 2015.

Logic Colloquium 2015 is co-located with the 15th Conference of Logic, Methodology and Philosophy of Science, CLMPS 2015, and with the SLS Summer School in Logic.

15th Congress on Logic, Methodology, and Philosophy of Science (CLMPS).

3-8 August 2015, Helsinki

The programme covers all systematic and historical aspects of formal logic, general philosophy of science, and philosophical issues of special sciences. The theme of the 15th Congress is “Models and Modelling”. A special feature of the LMPS in 2015 is the co-location of the Logic Colloquium, the European Summer Meeting of the Association for Symbolic Logic (ASL), in Helsinki, which allows the participants also to enjoy a rich supply of lectures in mathematical logic.

The Lindström Lectures 2014, Göteborg

We are pleased to announce that this year's Lindström Lectures will be delivered by Joan Moschovakis and Yiannis Moschovakis October 23 - 24. The Public Lectures will be delivered on October 23 (15:15--18:00), and the Research Lectures will be delivered on October 24 (13:15--17:15).

12th European Conference on Multi-Agent Systems

EUMAS 2014
12th European Conference on Multi-Agent Systems

December 18-19, 2014
Prague, Czech Republic
http://agents.fel.cvut.cz/eumas2014/

SLS Summer School in Logic 2015

Scandinavian Logic Society Summer School in Logic will be organized 28-31 July (Tuesday-Friday on the week before Logic Colloquium 2015) in Helsinki, Finland.

For further information, please contact Juliette Kennedy, juliette.kennedy (at) helsinki.fi. For practical information on the accommodation bookings and registration, contact the LC 2015 congress secretary, Päivi Seppälä, paivi.a.seppala (at) helsinki.fi

The web page is available at http://www.helsinki.fi/sls2015/index.html

Journées sur les Arithmétiques Faibles 33

16-18 June 2014, University of Gothenburg, Sweden

The 33rd meeting of JAF (Journées sur les Arithmétiques Faibles) will
be held in Gothenburg, Sweden during 16-18 of June 2014.

9th Scandinavian Logic Symposium

25-27 August 2014, University of Tampere, Finland
http://www.sis.uta.fi/SLS2014/

The 9th Scandinavian Logic Symposium will be held at the Museum Centre
Vapriikki in Tampere, Finland, during 25-27 August 2014 under the auspices
of the Scandinavian Logic Society (SLS, http://scandinavianlogic.org/).

XXV Incontro di Logica, April 14-17 2014

XXV Incontro di Logica

14-17 aprile 2014 Scuola Normale Superiore di Pisa

See http://ailapisa2014.weebly.com for more information.

The Lindström Lectures 2013, 14-15 November. Göteborg

The Lindström Lectures series will be inaugurated this fall with lectures by Wilfrid Hodges, Emeritus Professor of Mathematics, Queen Mary, University of London.

Pages

 Photo of Mount Akka / Àhkka massif seen from the high plateau Maukojaureh north-east of it by Tobias Radeskog / CC BY 3.0.