the scandinavian logic society

slideshow 1

Events

Meeting in honor of Dag Westerståhl on the occasion of his retirement

Friday the 3rd of May, University of Gothenburg
http://flov.gu.se/english/research/westerstahl-meeting

Simplicity: Ideals of Practice in Mathematics & the Arts

2nd Workshop on Groundedness in Semantics and Beyond

Workshop: Necessity, analyticity and the a priori

This workshop is organized jointly by the research projects Models, Modality and Meaning (Arche, St Andrews) and Plurals, Predicates and Paradox (Oslo).

Time and place: Jun 10, 2013 - Jun 11, 2013, Oslo

As Kripke and others have taught us, the concepts of necessity, analyticity, and apriority need to be carefully distinguished. This workshop aims to investigate these notions, their analysis and legitimacy, and their connections, if any.

Three winter tutorials in mathematical logic

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.

http://www.fil.lu.se/conferences/conference.asp?id=51&lang=se

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:
http://swat2012.helsinki.fi/
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.

Pages

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