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