Appel: SLS2012, Deadline extension

Wed May 2 10:49:48 UTC 2012

Date: Tue, 1 May 2012 15:31:30 +0200
From: Thomas Bolander <tb at imm.dtu.dk>
Message-ID: <67C376F6-96F3-4A74-942F-B1FCC7785BDC at imm.dtu.dk>
X-url: http://scandinavianlogic.org/

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

Third 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 (http://research.microsoft.com/en-us/people/nbjorner/)

 *   Rosalie Iemhoff (http://www.phil.uu.nl/%7Eiemhoff/) (sponsored by The
     Danish Network for the History and Philosophy of Mathematics)

 *   Per Martin-Löf (http://en.wikipedia.org/wiki/Per_Martin-L%C3%B6f)

 *   Boban Velickovic (http://www.logique.jussieu.fr/%7Eboban/)

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<http://folk.uio.no/larsk/> - "Honest subrecursive
     degree theory"

 *   Sara Negri <http://www.helsinki.fi/%7Enegri/>  - "Labelled proof
     systems for modal logic"

 *   M. H. Sørensen<http://www.formalit.dk/> - "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.

**UPDATE:
SUBMISSION DATE has been extended:  1 June
NOTIFICATION OF ACCEPTANCE: 15 June

STUDENT GRANTS
We are happy to announce that the ASL is sponsoring SLS2012. Among other
things, this means that student ASL members may apply for ASL travel
funds that are available for sponsored meetings.
(see http://www.aslonline.org/studenttravelawards.html).

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.

-------------------------------------------------------------------------
Message diffuse par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.atala.org/article.php3?id_article=48
English version       : 
Archives                 : http://listserv.linguistlist.org/archives/ln.html
                                http://liste.cines.fr/info/ln

La liste LN est parrainee par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhesion  : http://www.atala.org/
-------------------------------------------------------------------------