the scandinavian logic society

slideshow 1

8th Scandinavian Logic Symposium

published on Wed, 02/08/2012 - 16:35

20-21 August 2012 at Roskilde University, DENMARK

First Announcement and Call for Papers

The 8th Scandinavian Logic Symposium will be held at Roskilde University, Trekroner, Denmark, 20-21 August 2012.

After a gap of fifteen years, the Scandinavian Logic Symposium is back. The Symposium is the first major initiative of the newly revived Scandinavian Logic Society (SLS, http://scandinavianlogic.org/) and will be held at Roskilde University (RUC), Denmark.

Post-Doctoral Research Fellowship in philosophical logic (Oslo)

published on Wed, 02/22/2012 - 08:33

The position is funded by the European Research Council and is affiliated with the research project Plurals, Predicates, and Paradox: Towards a Type-Free Account, which is headed by Professor Øystein Linnebo and will be based at the Department of Philosophy, Classics, History of Art and Ideas, University of Oslo as of August or September 2012.

The research project is concerned with philosophical logic and the philosophy of mathematics, particularly with higher-order logic, the logical paradoxes, modality and the foundation of set theory. More information is available here.

Philosophy and Computation, International Workshop

published on Mon, 02/13/2012 - 09:59

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

published on Tue, 11/08/2011 - 11:29

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

published on Tue, 11/08/2011 - 11:15

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.