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