From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7198 Path: news.gmane.org!not-for-mail From: palmgren@math.uu.se Newsgroups: gmane.science.mathematics.categories Subject: Call for Papers: 8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University, DENMARK Date: Wed, 8 Feb 2012 16:30:25 +0100 (CET) Message-ID: Reply-To: palmgren@math.uu.se NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1328798919 20235 80.91.229.3 (9 Feb 2012 14:48:39 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 9 Feb 2012 14:48:39 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Thu Feb 09 15:48:37 2012 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.4]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RvVIZ-0004YA-BY for gsmc-categories@m.gmane.org; Thu, 09 Feb 2012 15:48:35 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:57511) by smtpx.mta.ca with esmtp (Exim 4.77) (envelope-from ) id 1RvVGZ-0006qD-2P; Thu, 09 Feb 2012 10:46:31 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1RvVGY-0005iA-If for categories-list@mlist.mta.ca; Thu, 09 Feb 2012 10:46:30 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7198 Archived-At: 8th SCANDINAVIAN LOGIC SYMPOSIUM 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. 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 war= m welcome to logicians from further afield and plan to present a varied and interesting collection of invited and contributed talks. Related events: A post-SLS tutorial day will be organized on August 22 Also note that Advances in Modal Logic (AiML) will be held on 22-25 Augus= t 2012, Copenhagen, Denmark. URL: http://hylocore.ruc.dk/aiml2012/ . 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 an= d Constructivism, Model Theory (including Finite Model Theory), Set Theory, Computability Theory, Categorical Logic, Logic and Provability, Logic an= d Computer Science, Logic and Linguistics, Modal, Hybrid, Temporal and Description Logic, Logics of Games, Dynamics and Interaction, and 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=E4skyl=E4 in 1976 3rd Scandinavian Logic Symposium: Uppsala in 1973 2nd Scandinavian Logic Symposium: Oslo in 1971 1st Scandinavian Logic Symposium: =C5bo in 1968 The proceedings of several of these meetings have been published in book form. INVITED SPEAKERS To be announced PROGRAM COMMITTEE Co-chairs: Neil Jones (Copenhagen) and Erik Palmgren (Stockholm) Members: Torben Brauner (Roskilde) Peter Dybjer (Chalmers) Lars Kristiansen (Oslo) =D8ystein Linnebo (Birkbeck) Sara Negri (Helsinki) Dag Normann (Oslo) Asger T=F6rnquist, (Vienna) Jouko V=E4=E4n=E4nen (Helsinki) ORGANISING COMMITTEE Patrick Blackburn (RUC), Klaus Frovin J=F8rgensen (RUC), Stig Andur Peter= sen (RUC) SUBMISSIONS Abstracts of talks should be submitted by May 1, 2012 using the EasyChair system https://www.easychair.org/conferences/?conf=3Dsls2012 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. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]