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.

As with previous editions of this conference, the aim of the programme is to reflect current 
activity in logic in our part of the world. So we hope that participants from Scandinavia, the 
Baltic countries and Northwestern Russia will take the opportunity to contribute a talk and to 
meet with fellow logicians from the area. But needless to say, we also extend a warm welcome to 
logicians from further afield and plan to present a varied and interesting collection of invited 
and contributed talks.


TOPICS

The scope of SLS 2012 is broad, ranging over the whole area of mathematical and philosophical 
logic, and logical methods in computer science. Suitable topics include (but are not limited to):

  *   Proof Theory and Constructivism
  *   Model Theory (including Finite Model Theory)
  *   Set Theory
  *   Computability Theory
  *   Categorical Logic
  *   Logic and Provability
  *   Logic and Computer Science
  *   Logic and Linguistics
  *   Modal, Hybrid, Temporal, and Description Logic
  *   Logics of Games, Dynamics and Interaction
  *   Philosophy of Mathematics
  *   Philosophy of Computation
  *   Philosophy of Logic
  *   Philosophical Logic


PREVIOUS SCANDINAVIAN LOGIC SYMPOSIA:

7th Scandinavian Logic Symposium: Uppsala in 1996 6th Scandinavian Logic Symposium: Telemark in 
1982 5th Scandinavian Logic Symposium: Aalborg in 1979 4th Scandinavian Logic Symposium: Jyväskylä 
in 1976 3rd Scandinavian Logic Symposium: Uppsala in 1973 2nd Scandinavian Logic Symposium: Oslo 
in 1971 1st Scandinavian Logic Symposium: Åbo in 1968 The proceedings of several of these meetings 
have been published in book form.

INVITED SPEAKERS

The Program Committee is delighted to announce the names of the four invited speakers:

  *   Nikolaj Bjorner
  *   Rosalie Iemhoff (sponsored by The Danish Network for the 
History and Philosophy of Mathematics)
  *   Per Martin-Löf
  *   Boban Velickovic


SLS TUTORIALS
On August 22nd,  the day after the symposium finishes, a number of tutorials for PhD-students (or 
anyone else who is interested) will be given. These are intended to start from a relatively 
elementary level and lead on to current research problems.
The following tutorial lectures have been confirmed so far:

  *   Lars Kristiansen - "Honest subrecursive degree theory"
  *   Sara Negri   - "Labelled proof systems for modal logic"
  *   M. H. Sørensen - "Curry-Howard Isomorphism"


RELATED EVENTS:
Also note that Advances in Modal Logic (AiML) will be held on 22-25 August 2012, Copenhagen, 
Denmark. URL: http://hylocore.ruc.dk/aiml2012/

PROGRAM COMMITTEE

Co-chairs: Neil Jones (Copenhagen) and Erik Palmgren (Stockholm)

Members:
Torben Brauner (Roskilde)
Peter Dybjer (Chalmers)
Lars Kristiansen (Oslo)
Øystein Linnebo (Birkbeck)
Sara Negri (Helsinki)
Dag Normann (Oslo)
Asger Törnquist, (Vienna)
Jouko Väänänen (Helsinki)

ORGANISING COMMITTEE

Patrick Blackburn (RUC), Klaus Frovin Jørgensen (RUC), Stig Andur Petersen (RUC)

SUBMISSIONS

Abstracts of talks should be submitted by May 1, 2012 using the EasyChair system
https://www.easychair.org/conferences/?conf=sls2012
The abstracts may not exceed 3 pages (including bibliography) and should be in PDF format.

LOCATION

Roskilde University (RUC) is situated at Trekroner, a small town 20 minutes by train from Central 
Copenhagen, and five minutes by train from Roskilde.

ACCOMMODATION

Most people who work at RUC and almost all the RUC students live in Copenhagen. Getting to RUC is 
an easy train journey from the centre of Copenhagen. We anticipate that most conference attendees 
will book hotels in central Copenhagen, where there are many hotels in many price ranges. Hotel 
accommodation can also be found in Roskilde, though there the options are more limited.

REGISTRATION

The conference website will be found at:
http://scandinavianlogic.weebly.com/
Details concerning registration will be posted there in due course.