[DL] CfP: 8th SCANDINAVIAN LOGIC SYMPOSIUM

[Uli Sattler]

Dear DL friends, please find below the second call for paper for the


8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde  
University,
DENMARK

Second 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.

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.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20120320/a95bfbdf/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: SLS-CFP2nd (2).pdf
Type: application/pdf
Size: 149855 bytes
Desc: not available
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20120320/a95bfbdf/attachment.pdf>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20120320/a95bfbdf/attachment-0001.htm>