<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 16px/normal Helvetica; color: rgb(21, 79, 174); ">§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§ &nbsp;&nbsp;<span style="font: 17.0px Helvetica"><b>DICE 2013</b></span>&nbsp;&nbsp; &nbsp;§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); ">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (DEVELOPMENTS IN IMPLICIT COMPUTATIONAL COMPLEXITY)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); ">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;<a href="http://dice2013.di.unito.it/index.html"><span style="text-decoration: underline">http://dice2013.di.unito.it/index.html</span></a></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); ">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Roma, March 16,17 2013</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); ">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; satellite event of ETAPS 2013</div><p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Helvetica; color: #154fae">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;</p><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); ">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;call for papers</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); ">IMPORTANT DATES:</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); ">submission: &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;January 10, 2013</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); ">notification: &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; January 25, 2013</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); ">final version due: &nbsp; &nbsp;February 14, 2013</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); ">INVITED:</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); min-height: 19px; "><br></div>
<ul style="list-style-type: none">
<li style="margin: 0.0px 0.0px 0.0px 0.0px; text-align: justify; line-height: 17.0px; font: 15.0px Arial; color: #525252"><span style="font: 15.0px 'Lucida Grande'; letter-spacing: 0.0px color: #000000">‣</span><span style="letter-spacing: 0.0px">&nbsp;<a href="http://www.loria.fr/~marionjy/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Jean-Yves Marion</span></a>&nbsp;(Loria - INPL Nancy)</span></li>
<li style="margin: 0.0px 0.0px 0.0px 0.0px; text-align: justify; line-height: 17.0px; font: 15.0px Arial; color: #525252"><span style="font: 15.0px 'Lucida Grande'; letter-spacing: 0.0px color: #000000">‣</span><span style="letter-spacing: 0.0px">&nbsp;<a href="http://www.cs.ru.nl/~marko/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Marko van Eekelen</span></a>&nbsp;(Open University - Radboud University Nijmegen)</span></li>
<li style="margin: 0.0px 0.0px 0.0px 0.0px; text-align: justify; line-height: 17.0px; font: 15.0px Arial; color: #594c4d"><span style="font: 15.0px 'Lucida Grande'; letter-spacing: 0.0px color: #000000">‣</span><span style="letter-spacing: 0.0px color: #525252">&nbsp;<a href="http://www.pps.univ-paris-diderot.fr/~mellies/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Paul-André Melliès</span></a>&nbsp;(PPS, Paris)</span></li>
</ul><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); ">SCOPE:</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px">The area of Implicit Computational Complexity (ICC) has grown out from several proposals</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px">&nbsp;to use logic and formal methods to provide languages for complexity-bounded computation</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px">&nbsp;(e.g. Ptime, Logspace computation). It aims at studying computational complexity without</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px">&nbsp;referring to external measuring conditions or a particular machine model, but only by</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px">&nbsp;considering language restrictions or logical/computational principles implying complexity properties.&nbsp;</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px">This workshop focuses on ICC methods related to programs (rather than descriptive methods).&nbsp;</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px">In this approach one relates complexity classes to restrictions on programming paradigms&nbsp;</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px">(functional programs, lambda calculi, rewriting systems), such as ramified recurrence, weak&nbsp;</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px">polymorphic types, linear logic and linear types, and interpretative measures. The two main&nbsp;</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px">objectives of this area are:</span></div>
<ul style="list-style-type: none">
<li style="margin: 0.0px 0.0px 0.0px 0.0px; text-align: justify; line-height: 17.0px; font: 15.0px Arial; color: #525252"><span style="letter-spacing: 0.0px">-&nbsp;to find natural implicit characterizations of various complexity classes of functions, thereby illuminating their nature and importance;</span></li>
<li style="margin: 0.0px 0.0px 0.0px 0.0px; text-align: justify; line-height: 17.0px; font: 15.0px Arial; color: #525252"><span style="letter-spacing: 0.0px">-&nbsp;to design methods suitable for static verification of program complexity.</span></li>
</ul><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); min-height: 17px; "><span style="letter-spacing: 0.0px"></span><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px">Therefore ICC is related on the one hand to the study of complexity classes, and on the other&nbsp;</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px">hand to static program analysis. The workshop will be open to contributions on various aspects&nbsp;</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px">of ICC including (but not exclusively):</span></div>
<ul style="list-style-type: none">
<li style="margin: 0.0px 0.0px 0.0px 0.0px; text-align: justify; line-height: 17.0px; font: 15.0px Arial; color: #525252"><span style="letter-spacing: 0.0px">-&nbsp;types for controlling complexity,</span></li>
<li style="margin: 0.0px 0.0px 0.0px 0.0px; text-align: justify; line-height: 17.0px; font: 15.0px Arial; color: #525252"><span style="letter-spacing: 0.0px">-&nbsp;logical systems for implicit computational complexity,</span></li>
<li style="margin: 0.0px 0.0px 0.0px 0.0px; text-align: justify; line-height: 17.0px; font: 15.0px Arial; color: #525252"><span style="letter-spacing: 0.0px">-&nbsp;linear logic,</span></li>
<li style="margin: 0.0px 0.0px 0.0px 0.0px; text-align: justify; line-height: 17.0px; font: 15.0px Arial; color: #525252"><span style="letter-spacing: 0.0px">-&nbsp;semantics of complexity-bounded computation,</span></li>
<li style="margin: 0.0px 0.0px 0.0px 0.0px; text-align: justify; line-height: 17.0px; font: 15.0px Arial; color: #525252"><span style="letter-spacing: 0.0px">-&nbsp;rewriting and termination orderings,</span></li>
<li style="margin: 0.0px 0.0px 0.0px 0.0px; text-align: justify; line-height: 17.0px; font: 15.0px Arial; color: #525252"><span style="letter-spacing: 0.0px">-&nbsp;interpretation-based methods for implicit complexity,</span></li>
<li style="margin: 0.0px 0.0px 0.0px 0.0px; text-align: justify; line-height: 17.0px; font: 15.0px Arial; color: #525252"><span style="letter-spacing: 0.0px">-&nbsp;programming languages for complexity-bounded computation,</span></li>
<li style="margin: 0.0px 0.0px 0.0px 0.0px; text-align: justify; line-height: 17.0px; font: 15.0px Arial; color: #525252"><span style="letter-spacing: 0.0px">-&nbsp;application of implicit complexity to other programming paradigms&nbsp;&nbsp;</span><span style="font: 15.0px 'Lucida Grande'; letter-spacing: 0.0px"><br>
</span><span style="letter-spacing: 0.0px">&nbsp; (e.g. imperative or object-oriented languages).</span></li>
</ul><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); ">SUBMISSIONS:</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px">Authors are invited to submit an extended abstract, up to 5 pages.</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px">Abstracts should be written in English, in the form of a PDF file uploaded to DICE 13 page at Easychair</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(21, 79, 174); "><span style="letter-spacing: 0.0px color: #525252">&lt;<a href="https://www.easychair.org/account/signin.cgi?conf=dice2013"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #154fae">https://www.easychair.org/account/signin.cgi?conf=dice2013</span></a>&gt;.</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px">Submissions of abstracts by PC members are allowed and encouraged. We plan on not having pre-proceedings.</span></div><p style="margin: 0.0px 0.0px 0.0px 0.0px; text-align: justify; line-height: 17.0px; font: 15.0px Arial; color: #525252"><span style="letter-spacing: 0.0px">&nbsp;</span></p><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span class="Apple-style-span" style="color: rgb(21, 79, 174); font-size: 16px; font-family: Helvetica; ">POST-PROCEEDINGS:</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px"><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px">An open call for post-proceedings, as special issue of&nbsp;</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="letter-spacing: 0.0px">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; INFORMATION </span><span style="font: 16.0px Helvetica; color: #000000">&amp; COMPUTATION&nbsp;</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; text-align: justify; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); ">will follow.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); ">PROGRAM COMMITTEE:</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); "><span class="Apple-style-span" style="color: rgb(89, 76, 77); font-family: Arial; font-size: 15px; "><span style="font: 15.0px 'Lucida Grande'; letter-spacing: 0.0px color: #000000">‣</span><span style="letter-spacing: 0.0px">&nbsp;<a href="http://www.pps.univ-paris-diderot.fr/~amadio/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Roberto Amadio</span></a>&nbsp;(Paris-Diderot)</span></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); "><span class="Apple-style-span" style="color: rgb(89, 76, 77); font-family: Arial; font-size: 15px; "><span style="font: 15.0px 'Lucida Grande'; letter-spacing: 0.0px color: #000000">‣</span><span style="letter-spacing: 0.0px">&nbsp;<a href="http://www.cs.brandeis.edu/~mairson/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Harry Mairson</span></a>&nbsp;(Brandeis)</span></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); "><span class="Apple-style-span" style="color: rgb(89, 76, 77); font-family: Arial; font-size: 15px; "><span style="font: 15.0px 'Lucida Grande'; letter-spacing: 0.0px color: #000000">‣</span><span style="letter-spacing: 0.0px">&nbsp;<a href="http://lipn.univ-paris13.fr/~mogbil/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Virgile Mogbil</span></a>&nbsp;(Paris 13)</span></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); "><span class="Apple-style-span" style="color: rgb(89, 76, 77); font-family: Arial; font-size: 15px; "><span style="font: 15.0px 'Lucida Grande'; letter-spacing: 0.0px color: #000000">‣</span><span style="letter-spacing: 0.0px">&nbsp;<a href="http://www.di.unito.it/~ronchi/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Simona Ronchi Della Rocca</span></a>&nbsp;(Torino)&nbsp;<b>(Chair)</b></span></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); "><span class="Apple-style-span" style="color: rgb(89, 76, 77); font-family: Arial; font-size: 15px; "><span style="font: 15.0px 'Lucida Grande'; letter-spacing: 0.0px color: #000000">‣</span><span style="letter-spacing: 0.0px">&nbsp;<a href="http://www.di.unito.it/~rover/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Luca Roversi</span></a>&nbsp;(Torino)</span></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); "><span class="Apple-style-span" style="color: rgb(89, 76, 77); font-family: Arial; font-size: 15px; "><span style="font: 15.0px 'Lucida Grande'; letter-spacing: 0.0px color: #000000">‣</span><span style="letter-spacing: 0.0px">&nbsp;<a href="http://www.cs.ru.nl/~shkarav/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Olha Shkaravska</span></a>&nbsp;(Nijmegen)</span></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); "><span class="Apple-style-span" style="color: rgb(89, 76, 77); font-family: Arial; font-size: 15px; "><span style="font: 15.0px 'Lucida Grande'; letter-spacing: 0.0px color: #000000">‣</span><span style="letter-spacing: 0.0px">&nbsp;<a href="http://www.tcs.ifi.lmu.de/~schoepp/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Ulrich Schöpp</span></a>&nbsp;(LMU)</span></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); "><span class="Apple-style-span" style="color: rgb(89, 76, 77); font-family: Arial; font-size: 15px; "><span style="font: 15.0px 'Lucida Grande'; letter-spacing: 0.0px color: #000000">‣</span><span style="letter-spacing: 0.0px">&nbsp;<a href="http://www.mimuw.edu.pl/~alx/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Aleksy Shubert</span></a>&nbsp;(Warsaw)</span></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); "><span class="Apple-style-span" style="color: rgb(89, 76, 77); font-family: Arial; font-size: 15px; "><span style="font: 15.0px 'Lucida Grande'; letter-spacing: 0.0px color: #000000">‣</span><span style="letter-spacing: 0.0px">&nbsp;<a href="http://www.diku.dk/~simonsen/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Jakob G. Simonsen</span></a>&nbsp;(DIKU)</span></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); ">STEERING COMMITTEE:</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="font: 15.0px 'Lucida Grande'; color: #000000">‣</span>&nbsp;Patrick Baillot (ENS Lyon, CNRS)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="font: 15.0px 'Lucida Grande'; color: #000000">‣</span>&nbsp;Ugo Dal Lago (Università degli Studi di Bologna)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="font: 15.0px 'Lucida Grande'; color: #000000">‣</span>&nbsp;Martin Hofmann (Ludwig-Maximilians-Universität München)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="font: 15.0px 'Lucida Grande'; letter-spacing: 0.0px color: #000000">‣</span><span style="letter-spacing: 0.0px">&nbsp;<a href="http://www.loria.fr/~marionjy/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Jean-Yves Marion</span></a>&nbsp;(Loria - INPL Nancy)</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; line-height: 17px; font: normal normal normal 15px/normal Arial; color: rgb(82, 82, 82); "><span style="font: 15.0px 'Lucida Grande'; letter-spacing: 0.0px color: #000000">‣</span><span style="text-decoration: underline ; letter-spacing: 0.0px">&nbsp;<a href="http://www.cs.ru.nl/~marko/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">S</span></a>imona Ronchi Della Rocca</span><span style="letter-spacing: 0.0px">&nbsp;(Università degli Studi di Torino))</span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; line-height: 20px; font: normal normal normal 16px/normal Times; color: rgb(21, 79, 174); min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; line-height: 20px; font: normal normal normal 16px/normal Helvetica; color: rgb(21, 79, 174); min-height: 19px; "><br></div><div>
<div><div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><span class="Apple-style-span" style="font-size: 12px;"><b><br></b></span></div></div></div>
</div>
<br></body></html>