
<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>Dear DL friends, please find below the second call for paper for the </div><div><br></div><div><br></div><div><div style="text-indent: 0px; letter-spacing: normal; font-variant: normal; text-align: -webkit-auto; font-style: normal; font-weight: normal; line-height: normal; text-transform: none; font-size: 13px; white-space: normal; font-family: arial, sans-serif; word-spacing: 0px; "><b style="text-indent: 0px; letter-spacing: normal; font-variant: normal; text-align: -webkit-auto; font-style: normal; font-weight: normal; line-height: normal; text-transform: none; font-size: medium; white-space: normal; font-family: 'Times New Roman'; word-spacing: 0px; "><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: bold; ">8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University,</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: bold; ">DENMARK</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; ">Second Announcement and Call for Papers</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">The 8th Scandinavian Logic Symposium will be held at Roskilde University, Trekroner,</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Denmark, 20-21 August 2012.</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">After a gap of fifteen years, the Scandinavian Logic Symposium is back. The</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Symposium is the first major initiative of the newly revived Scandinavian Logic Society (SLS,</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><a href="http://scandinavianlogic.org/" target="_blank">http://scandinavianlogic.org/</a>) and will be held at Roskilde University (RUC), Denmark.</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">As with previous editions of this conference, the aim of the programme is to reflect current</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">activity in logic in our part of the world. So we hope that participants from Scandinavia, the Baltic</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">countries and Northwestern Russia will take the opportunity to contribute a talk and to meet</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">with fellow logicians from the area. But needless to say, we also extend a warm welcome to</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">logicians from further afield and plan to present a varied and interesting collection of invited and</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">contributed talks.</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; ">TOPICS</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">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):</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><ul style="margin-top: 0pt; margin-bottom: 0pt; "><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Proof Theory and Constructivism</span></li><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Model Theory (including Finite Model Theory)</span></li><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Set Theory</span></li><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Computability Theory</span></li><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Categorical Logic</span></li><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Logic and Provability</span></li><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Logic and Computer Science</span></li><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Logic and Linguistics</span></li><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Modal, Hybrid, Temporal, and Description Logic</span></li><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Logics of Games, Dynamics and Interaction</span></li><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Philosophy of Mathematics</span></li><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Philosophy of Computation</span></li><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Philosophy of Logic</span></li><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Philosophical Logic</span></li></ul><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">PREVIOUS SCANDINAVIAN LOGIC SYMPOSIA:</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">7th Scandinavian Logic Symposium: Uppsala in 1996</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">6th Scandinavian Logic Symposium: Telemark in 1982</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">5th Scandinavian Logic Symposium: Aalborg in 1979</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">4th Scandinavian Logic Symposium: Jyv�skyl� in 1976</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">3rd Scandinavian Logic Symposium: Uppsala in 1973</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">2nd Scandinavian Logic Symposium: Oslo in 1971</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">1st Scandinavian Logic Symposium: �bo in 1968</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">The proceedings of several of these meetings have been published in book form.</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; ">INVITED SPEAKERS</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">The Program Committee is delighted to announce the names of the four invited speakers:</span><ul style="margin-top: 0pt; margin-bottom: 0pt; "><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><a href="http://research.microsoft.com/en-us/people/nbjorner/" target="_blank"><span style="font-size: 15px; font-family: Arial; color: rgb(17, 85, 204); background-color: transparent; font-weight: normal; font-style: normal; font-variant: normal; text-decoration: underline; vertical-align: baseline; white-space: pre-wrap; ">Nikolaj Bjorner</span></a><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span></li><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><a href="http://www.phil.uu.nl/%7Eiemhoff/" target="_blank"><span style="font-size: 15px; font-family: Arial; color: rgb(17, 85, 204); background-color: transparent; font-weight: normal; font-style: normal; font-variant: normal; text-decoration: underline; vertical-align: baseline; white-space: pre-wrap; ">Rosalie Iemhoff</span></a><span style="font-size: 15px; font-family: Arial; color: rgb(17, 85, 204); background-color: transparent; font-weight: normal; font-style: normal; font-variant: normal; text-decoration: underline; vertical-align: baseline; white-space: pre-wrap; "> </span><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">(sponsored by The Danish Network for the History and Philosophy of Mathematics)</span></li><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><a href="http://en.wikipedia.org/wiki/Per_Martin-L%C3%B6f" target="_blank"><span style="font-size: 15px; font-family: Arial; color: rgb(17, 85, 204); background-color: transparent; font-weight: normal; font-style: normal; font-variant: normal; text-decoration: underline; vertical-align: baseline; white-space: pre-wrap; ">Per Martin-L�f</span></a></li><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><a href="http://www.logique.jussieu.fr/%7Eboban/" target="_blank"><span style="font-size: 15px; font-family: Arial; color: rgb(17, 85, 204); background-color: transparent; font-weight: normal; font-style: normal; font-variant: normal; text-decoration: underline; vertical-align: baseline; white-space: pre-wrap; ">Boban Velickovic</span></a></li></ul><a href="http://research.microsoft.com/en-us/people/nbjorner/" target="_blank"><span style="font-size: 15px; font-family: Arial; color: rgb(17, 85, 204); background-color: transparent; font-weight: normal; font-style: normal; font-variant: normal; text-decoration: underline; vertical-align: baseline; white-space: pre-wrap; "></span></a><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; ">SLS TUTORIALS</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">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.</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">The following tutorial lectures have been confirmed so far:</span><ul style="margin-top: 0pt; margin-bottom: 0pt; "><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><a href="http://folk.uio.no/larsk/" target="_blank"><span style="font-size: 15px; font-family: Arial; color: rgb(17, 85, 204); background-color: transparent; font-weight: normal; font-style: normal; font-variant: normal; text-decoration: underline; vertical-align: baseline; white-space: pre-wrap; ">Lars Kristiansen</span></a><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "> - "Honest subrecursive degree theory"</span></li><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><a href="http://www.helsinki.fi/%7Enegri/" target="_blank"><span style="font-size: 15px; font-family: Arial; color: rgb(17, 85, 204); background-color: transparent; font-weight: normal; font-style: normal; font-variant: normal; text-decoration: underline; vertical-align: baseline; white-space: pre-wrap; ">Sara Negri </span></a><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "> - "Labelled proof systems for modal logic"</span></li><li style="vertical-align: baseline; list-style-type: disc; font-variant: normal; font-style: normal; font-size: 15px; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "><a href="http://www.formalit.dk/" target="_blank"><span style="font-size: 15px; font-family: Arial; color: rgb(17, 85, 204); background-color: transparent; font-weight: normal; font-style: normal; font-variant: normal; text-decoration: underline; vertical-align: baseline; white-space: pre-wrap; ">M. H. S�rensen</span></a><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "> - "Curry-Howard Isomorphism"</span></li></ul><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; ">RELATED EVENTS:</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Also note that Advances in Modal Logic (AiML) will be held on 22-25</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">August 2012, Copenhagen, Denmark. URL: <a href="http://hylocore.ruc.dk/aiml2012/" target="_blank">http://hylocore.ruc.dk/aiml2012/</a> </span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; ">PROGRAM COMMITTEE</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Co-chairs: Neil Jones (Copenhagen) and Erik Palmgren (Stockholm)</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Members:</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Torben Brauner (Roskilde)</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Peter Dybjer (Chalmers)</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Lars Kristiansen (Oslo)</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">�ystein Linnebo (Birkbeck)</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Sara Negri (Helsinki)</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Dag Normann (Oslo)</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Asger T�rnquist, (Vienna)</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Jouko V��n�nen (Helsinki)</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; ">ORGANISING COMMITTEE</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Patrick Blackburn (RUC), Klaus Frovin J�rgensen (RUC), Stig Andur Petersen (RUC)</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; ">SUBMISSIONS</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Abstracts of talks should be submitted by May 1, 2012 using the EasyChair system</span><br><a href="https://www.easychair.org/conferences/?conf=sls2012" target="_blank"><span style="font-size: 15px; font-family: Arial; color: rgb(17, 85, 204); background-color: transparent; font-weight: normal; font-style: normal; font-variant: normal; text-decoration: underline; vertical-align: baseline; white-space: pre-wrap; ">https://www.easychair.org/conferences/?conf=sls2012</span></a><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">The abstracts may not exceed 3 pages (including bibliography) and should be in PDF format.</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; ">LOCATION</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Roskilde University (RUC) is situated at Trekroner, a small town 20 minutes by train from</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Central Copenhagen, and five minutes by train from Roskilde.</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; ">ACCOMMODATION</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Most people who work at RUC and almost all the RUC students live in Copenhagen. Getting</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">to RUC is an easy train journey from the centre of Copenhagen. We anticipate that most</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">conference attendees will book hotels in central Copenhagen, where there are many hotels</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">in many price ranges. Hotel accommodation can also be found in Roskilde, though there the</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">options are more limited.</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; ">REGISTRATION</span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: underline; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">The conference website will be found at:</span><br><a href="http://scandinavianlogic.weebly.com/" target="_blank"><span style="font-size: 15px; font-family: Arial; color: rgb(17, 85, 204); background-color: transparent; font-weight: normal; font-style: normal; font-variant: normal; text-decoration: underline; vertical-align: baseline; white-space: pre-wrap; ">http://scandinavianlogic.weebly.com/</span></a><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; "></span><br><span style="vertical-align: baseline; font-variant: normal; font-style: normal; font-size: 15px; white-space: pre-wrap; background-color: transparent; text-decoration: none; font-family: Arial; font-weight: normal; ">Details concerning registration will be posted there in due course.</span><br></b><br></div></div><div><br></div></body></html>