<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); ">§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§ <span style="font: 17.0px Helvetica"><b>DICE 2013</b></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); "> (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); "> <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); "> 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); "> satellite event of ETAPS 2013</div><p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px Helvetica; color: #154fae"> </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); "> 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: 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: 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: 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"> <a href="http://www.loria.fr/~marionjy/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Jean-Yves Marion</span></a> (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"> <a href="http://www.cs.ru.nl/~marko/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Marko van Eekelen</span></a> (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"> <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> (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"> 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"> (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"> 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"> considering language restrictions or logical/computational principles implying complexity properties. </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). </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 </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 </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 </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">- 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">- 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 </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 </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">- 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">- 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">- 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">- 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">- 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">- 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">- 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">- application of implicit complexity to other programming paradigms </span><span style="font: 15.0px 'Lucida Grande'; letter-spacing: 0.0px"><br>
</span><span style="letter-spacing: 0.0px"> (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"><<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>>.</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"> </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 </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"> INFORMATION </span><span style="font: 16.0px Helvetica; color: #000000">& 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); ">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"> <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> (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"> <a href="http://www.cs.brandeis.edu/~mairson/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Harry Mairson</span></a> (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"> <a href="http://lipn.univ-paris13.fr/~mogbil/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Virgile Mogbil</span></a> (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"> <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> (Torino) <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"> <a href="http://www.di.unito.it/~rover/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Luca Roversi</span></a> (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"> <a href="http://www.cs.ru.nl/~shkarav/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Olha Shkaravska</span></a> (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"> <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> (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"> <a href="http://www.mimuw.edu.pl/~alx/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Aleksy Shubert</span></a> (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"> <a href="http://www.diku.dk/~simonsen/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Jakob G. Simonsen</span></a> (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> 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> 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> 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"> <a href="http://www.loria.fr/~marionjy/"><span style="text-decoration: underline ; letter-spacing: 0.0px color: #594c4d">Jean-Yves Marion</span></a> (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"> <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"> (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>