the scandinavian logic society

slideshow 1


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

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,

XXV Incontro di Logica, April 14-17 2014

XXV Incontro di Logica

14-17 aprile 2014 Scuola Normale Superiore di Pisa

See 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.

Proof Theory: An Intensive MA/PhD Course

The Plurals, Predicates, and Paradox project together with IFIKK and
CSMN are arranging an intensive M.A./Ph.d course in Proof Theory. The
course will be taught by Jon Litland (IFIKK/PPP) and Ole Hjortland
(LMU/MCMP). The course will take place in Oslo August 26 - September
6, with daily meetings 12:15 to 14:00.

32nd Weak Arithmetics Days

June 24 - 26, 2013 - Athens, Greece

The meeting concerns all traditional topics of the JAF conference series, including
* Provability and Definability in Weak Arithmetics
* Model Theory and Weak Arithmetics
* (Un)decidability of Weak Arithmetics

Workshop on Intensionality in Mathematics

Saturday and Sunday, May 11-12, 2013, Kungshuset, Lundagard

Meeting in honor of Dag Westerståhl on the occasion of his retirement

Friday the 3rd of May, University of Gothenburg

Simplicity: Ideals of Practice in Mathematics & the Arts

2nd Workshop on Groundedness in Semantics and Beyond


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