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
