the scandinavian logic society

slideshow 1

Events

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.

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

http://jaf32.phs.uoa.gr/

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
http://www.fil.lu.se/institutionen/anknuten-verksamhet/konferenser/works...

Pages

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