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 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/).
The Lindström Lectures series will be inaugurated this fall with lectures by Wilfrid Hodges, Emeritus Professor of Mathematics, Queen Mary, University of London.
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.
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
