<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">______________________________________________________________________________________________ </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; "> CSL 2013</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; "> COMPUTER SCIENCE LOGIC 2013</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; "> Torino, September 2-5 2013</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; min-height: 18px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; color: rgb(35, 79, 174); "><span style="text-decoration: underline"> <a href="http://csl13.di.unito.it/">http://csl13.di.unito.it/</a></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; min-height: 18px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; "> first call-for-papers</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">_______________________________________________________________________________________________</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; min-height: 18px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">AIM AND SCOPE</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; font: normal normal normal 15px/normal Helvetica; ">Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL).</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; font: normal normal normal 15px/normal Helvetica; ">The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; font: normal normal normal 15px/normal Helvetica; ">issues significant for computer science.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; min-height: 18px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">LOCATION</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">The 22nd EACSL Annual Conference on Computer Science Logic will be held at Museo di Scienze Naturali in Torino from</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Monday 2nd through Thursday 5th of September 2013.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; min-height: 18px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">LIST OF TOPICS OF INTEREST (NON EXHAUSTIVE)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; font: normal normal normal 15px/normal Helvetica; ">automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, game semantics, modal and temporal logic, model checking, decision procedures, logical aspects of computational complexity, computational proof theory, bounded arithmetic and propositional proof complexity, logic programming and constraints, lambda calculus and combinatory logic, domain theory, categorical logic and topological semantics, database theory, specification, extraction and transformation of programs, logical aspects of quantum computing, logical foundations of programming paradigms, verification and program analysis, linear logic, higher-order logic, non-monotonic reasoning.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; min-height: 18px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">INVITED SPEAKERS</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Nachum Dershovitz (Tel Aviv)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Jean Yves Girard (Marseille)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Isabel Oitavem (Lisboa)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Lidia Tendera (Opole)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; min-height: 18px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">PierGiorgio Odifreddi (Torino) welcome talk</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; min-height: 18px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">IMPORTANT DATES</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Abstract submission: April, 1st 2013</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Paper Submission: April, 8th 2013</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Paper Notification: June, 10th 2013</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Paper final version: July, 1st 2013</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Conference: September, 2nd --- 5th 2013</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; min-height: 18px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">SUBMISSION</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; font: normal normal normal 15px/normal Helvetica; ">Authors are invited to submit papers of not more than 15 pages in LIPIcs style presenting work not previously published.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; font: normal normal normal 15px/normal Helvetica; ">Papers are to be submitted through Easychair, at the address:</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; font: normal normal normal 13px/normal 'Lucida Grande'; color: rgb(48, 2, 238); "><span style="font: 15.0px Helvetica; color: #000000"> <a href="https://www.easychair.org/conferences/?conf=csl2013"><span style="font: 13.0px 'Lucida Grande'; text-decoration: underline">https://www.easychair.org/conferences/?conf=csl2013</span></a>. </span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; font: normal normal normal 15px/normal Helvetica; ">Submitted papers must be in English and must provide sufficient detail to allow the PC to assess the merits of the paper. Full proofs may appear in a technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the program committee.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; font: normal normal normal 15px/normal Helvetica; ">The submission is in two stages. Abstract submissions are due before April 1st, 2013. Full paper submissions must be done before April 8th, 2013.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; font: normal normal normal 15px/normal Helvetica; ">Papers must not be submitted concurrently to another conference with refereed proceedings. The PC chair should be informed of closely related work submitted to a conference or a journal by March 24th, 2013. Papers authored or co-authored by members of the Programme Committee are not allowed.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; font: normal normal normal 15px/normal Helvetica; min-height: 18px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; font: normal normal normal 15px/normal Helvetica; ">SATELLITE EVENTS</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; font: normal normal normal 15px/normal Helvetica; ">- Ackermann Award 2013, for PhD dissertations in topics specified by EACSL and LICS conferences.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; font: normal normal normal 15px/normal Helvetica; ">- International summer school on “Linear logic and related topics” (August 28 - 31).</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; font: normal normal normal 15px/normal Helvetica; ">- 14th International Workshop on Logic and Computational Complexity (LCC'13) (September 6).</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; font: normal normal normal 15px/normal Helvetica; ">- 9th International Workshop on Fixed Points in Computer Science (FICS'13) (September 1).</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; font: normal normal normal 15px/normal Helvetica; min-height: 18px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; min-height: 18px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">PROGRAM COMMITTEE</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Zena Ariola (University of Oregon)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Arnon Avron (Tel-Aviv University)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Roberto Bagnara (University of Parma, and BUGSENG srl)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Christel Baier (Technical University of Dresden)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Marc Bezem (University of Bergen)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Paola Bruscoli (University of Bath, Computer Science Department)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Agata Ciabattoni (TU Wien)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Thierry Coquand (Chalmers University)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Ugo Dal Lago (Università di Bologna)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Valeria De Paiva (Nuance Communications)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Reinhard Kahle (CENTRIA and DM, UNL, Portugal)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Stephan Kreutzer (Technical University Berlin)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Olivier Laurent (CNRS - ENS Lyon)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Carsten Lutz (Universität Bremen)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Jean-Yves Marion (Université de Lorraine, LORIA)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Damian Niwinski (Warsaw University)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Frank Pfenning (Carnegie Mellon University)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Elaine Pimentel (UFMG)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Ruzica Piskac (Max Planck Institute for Software Systems (MPI-SWS))</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Simona Ronchi Della Rocca CHAIR (Università di Torino)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Jan Rutten (CWI)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Helmut Schwichtenberg (LMU Munich)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Phil Scott (Dept. of Math & Stats, U. Ottawa)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Peter Selinger (Dalhousie University)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Makoto Tatsuta (National Institute of Informatics)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Tachio Terauchi (Nagoya University)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; min-height: 18px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">ORGANIZING COMMITTEE</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Erika De Benedetti (Dipartimento di Informatica, Torino)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Paola Giannini (Dipartimento di Scienze e Innovazione Tecnologica (DISIT), Alessandria)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Mauro Piccolo (Dipartimento di Informatica, Torino)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Luca Padovani (Dipartimento di Informatica, Torino)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Luca Paolini (Dipartimento di Informatica, Torino)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Simona Ronchi Della Rocca (Dipartimento di Informatica, Torino)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Luca Roversi (Dipartimento di Informatica, Torino)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Angelo Troina (Dipartimento di Informatica, Torino)</div><div>
<div style="font-size: 14px; "><b>_____________________</b></div><div style="font-size: 14px; "><b><font class="Apple-style-span" color="#872443">Simona Ronchi Della Rocca</font></b></div><div style="font-size: 14px; "><i><font class="Apple-style-span" size="3"><span class="Apple-style-span" style="font-size: 12px; "><font class="Apple-style-span" color="#872443">full professor of</font></span></font></i></div><div style="font-size: 14px; "><i><font class="Apple-style-span" size="3"><span class="Apple-style-span" style="font-size: 12px; "><font class="Apple-style-span" color="#872443">"Foundations of Computer Science"</font></span></font></i></div><div style="font-size: 14px; "><i><font class="Apple-style-span" size="3"><span class="Apple-style-span" style="font-size: 12px; "><font class="Apple-style-span" color="#872443">Dipartimento di Informatica</font></span></font></i></div><div style="font-size: 14px; "><i><font class="Apple-style-span" size="3"><span class="Apple-style-span" style="font-size: 12px; "><font class="Apple-style-span" color="#872443">Università di Torino</font></span></font></i></div><div style="font-size: 14px; "><i><font class="Apple-style-span" size="3"><span class="Apple-style-span" style="font-size: 12px; "><font class="Apple-style-span" color="#872443">c. Svizzera 185, 10149 Torino</font></span></font></i></div><div style="font-size: 14px; "><i><font class="Apple-style-span" size="3"><span class="Apple-style-span" style="font-size: 12px; "><font class="Apple-style-span" color="#872443"><br></font></span></font></i></div><div style="font-size: 14px; "><i><font class="Apple-style-span" size="3"><span class="Apple-style-span" style="font-size: 12px; "><font class="Apple-style-span" color="#872443">e-mail: <a href="mailto:ronchi@di.unito.it">ronchi@di.unito.it</a></font></span></font></i></div><div style="font-size: 14px; "><i><font class="Apple-style-span" size="3"><span class="Apple-style-span" style="font-size: 12px; "><font class="Apple-style-span" color="#872443">phone:+39-011-6706734</font></span></font></i></div><div style="font-size: 14px; "><i><font class="Apple-style-span" size="3"><span class="Apple-style-span" style="font-size: 12px; "><font class="Apple-style-span" color="#872443">fax: +39-011-751603</font></span></font></i></div><div style="font-size: 14px; "><i><font class="Apple-style-span" size="3"><span class="Apple-style-span" style="font-size: 12px; "><font class="Apple-style-span" color="#872443">mobile: +39-320-4205121</font></span></font></i></div><div style="font-size: 14px; "><br></div><br class="Apple-interchange-newline">
</div>
<br></body></html>