<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; "> call-for-participation</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; "> REGISTRATION IS NOW OPEN</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; 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; 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; 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; font: normal normal normal 15px/normal Helvetica; ">automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">automata and games, game semantics, modal and temporal logic, model checking, decision procedures, logical aspects of computational</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">complexity, computational proof theory, bounded arithmetic and propositional proof complexity, logic programming and constraints, lambda</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">calculus and combinatory logic, domain theory, categorical logic and topological semantics, database theory, specification, extraction and</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">transformation of programs, logical aspects of quantum computing, logical foundations of programming paradigms, verification and program</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">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; ">IMPORTANT DEADLINES FOR REGISTRATION</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Standard registration: July, 18th 2013 (extended)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Late registration: August 25th 2013</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">On-site registration: --</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; 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; ">SATELLITE EVENTS</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">The 9th International Workshop on Fixed Points in Computer Science (FICS'13) will be held on 1st of September 2013 as a satellite event of CSL'13.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">The 14th International Workshop on Logic and Computational Complexity (LCC'13) will be held on 6th of September 2013 as a satellite event of CSL'13.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">An international summer school on “Linear logic and related topics” will be held from 28th through 31st of August 2013 as a satellite event of CSL'13.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 15px/normal Helvetica; ">Details are in the web site of CSL'13.</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>