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