the scandinavian logic society

slideshow 1


Numbers and Truth

Numbers and truth - the philosophy and mathematics of arithmetic and truth
Gothenburg, Sweden, October 19-21, 2012

Philosophy and Computation, International Workshop

Philosophy and Computation, International Workshop, May 12-13th, 2012,
Department of Philosophy and Cognitive Sciences, Lund University, Sweden.

The workshop "Philosophy and Computation" aims to be a platform for various discussions concerning the use of computability in philosophy (for example, how computational complexity constraints can contribute to explain human understanding) and also questions concerning the philosophical investigation of computation (like questions related to Church-Turing thesis).

The 13th Scandinavian Symposium and Workshops on Algorithm Theory

The 13th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2012, will be organised in Helsinki, Finland, 4–6 July 2012:
The venue is the Main Building of the University of Helsinki. SWAT is co-located with CPM 2012, the 23rd Annual Symposium on Combinatorial Pattern Matching (3–5 July 2012).

Advances in Modal Logic 2012

22-25 August 2012, Copenhagen, Denmark

This is the ninth conference in a series aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. The Co-chairs of the Program Committee are S. Ghilardi and L. Moss. The Organizing Committee Co-chairs are T. Bolander and T. Brauner.


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