<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§ DICE 2013 §§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§</div><div><br></div><div> (DEVELOPMENTS IN IMPLICIT COMPUTATIONAL COMPLEXITY)</div><div> <a href="http://dice2013.di.unito.it/">http://dice2013.di.unito.it/</a></div><div><br></div><div> Roma, March 16,17 2013</div><div> satellite event of ETAPS 2013</div><div> </div><div> call for participation</div><div><br></div><div><br></div><div>IMPORTANT DATES:</div><div><br></div><div>submission: January 10, 2013</div><div>notification: January 25, 2013</div><div>final version due: February 14, 2013</div><div><br></div><div>INVITED:</div><div><br></div><div><span class="Apple-tab-span" style="white-space: pre; "> </span>‣ Jean-Yves Marion (Loria - INPL Nancy)</div><div><span class="Apple-tab-span" style="white-space: pre; "> </span>‣ Marko van Eekelen (Open University - Radboud University Nijmegen)</div><div><span class="Apple-tab-span" style="white-space: pre; "> </span>‣ Paul-André Melliès (PPS, Paris)</div><div><br></div><div><br></div><div>SCOPE:</div><div><br></div><div>The area of Implicit Computational Complexity (ICC) has grown out from several proposals</div><div> to use logic and formal methods to provide languages for complexity-bounded computation</div><div> (e.g. Ptime, Logspace computation). It aims at studying computational complexity without</div><div> referring to external measuring conditions or a particular machine model, but only by</div><div> considering language restrictions or logical/computational principles implying complexity properties. </div><div>This workshop focuses on ICC methods related to programs (rather than descriptive methods). </div><div>In this approach one relates complexity classes to restrictions on programming paradigms </div><div>(functional programs, lambda calculi, rewriting systems), such as ramified recurrence, weak </div><div>polymorphic types, linear logic and linear types, and interpretative measures. The two main </div><div>objectives of this area are:</div><div><span class="Apple-tab-span" style="white-space: pre; "> </span>- to find natural implicit characterizations of various complexity classes of functions, thereby </div><div> illuminating their nature and importance;</div><div><span class="Apple-tab-span" style="white-space: pre; "> </span>- to design methods suitable for static verification of program complexity.</div><div><br></div><div>Therefore ICC is related on the one hand to the study of complexity classes, and on the other </div><div>hand to static program analysis. The workshop will be open to contributions on various aspects </div><div>of ICC including (but not exclusively):</div><div><span class="Apple-tab-span" style="white-space: pre; "> </span>- types for controlling complexity,</div><div><span class="Apple-tab-span" style="white-space: pre; "> </span>- logical systems for implicit computational complexity,</div><div><span class="Apple-tab-span" style="white-space: pre; "> </span>- linear logic,</div><div><span class="Apple-tab-span" style="white-space: pre; "> </span>- semantics of complexity-bounded computation,</div><div><span class="Apple-tab-span" style="white-space: pre; "> </span>- rewriting and termination orderings,</div><div><span class="Apple-tab-span" style="white-space: pre; "> </span>- interpretation-based methods for implicit complexity,</div><div><span class="Apple-tab-span" style="white-space: pre; "> </span>- programming languages for complexity-bounded computation,</div><div><span class="Apple-tab-span" style="white-space: pre; "> </span>- application of implicit complexity to other programming paradigms
(e.g. imperative or object-oriented languages).</div><div><br></div><div> </div><div>POST-PROCEEDINGS:</div><div><br></div><div>An open call for post-proceedings, as special issue of </div><div> INFORMATION & COMPUTATION </div><div>will follow.</div><div><br></div><div>PROGRAM COMMITTEE:</div><div><br></div><div>‣ Roberto Amadio (Paris-Diderot)</div><div>‣ Harry Mairson (Brandeis)</div><div>‣ Virgile Mogbil (Paris 13)</div><div>‣ Simona Ronchi Della Rocca (Torino) (Chair)</div><div>‣ Luca Roversi (Torino)</div><div>‣ Olha Shkaravska (Nijmegen)</div><div>‣ Ulrich Schöpp (LMU)</div><div>‣ Aleksy Shubert (Warsaw)</div><div>‣ Jakob G. Simonsen (DIKU)</div><div><br></div><div><br></div><div>STEERING COMMITTEE:</div><div><br></div><div>‣ Patrick Baillot (ENS Lyon, CNRS)</div><div>‣ Ugo Dal Lago (Università degli Studi di Bologna)</div><div>‣ Martin Hofmann (Ludwig-Maximilians-Universität München)</div><div>‣ Jean-Yves Marion (Loria - INPL Nancy)</div><div>‣ Simona Ronchi Della Rocca (Università degli Studi di Torino))</div><div><br></div><div>
<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><div><div><span class="Apple-style-span" style="font-size: 16px; "><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font class="Apple-style-span" size="3"><span class="Apple-style-span" style="font-size: 12px; "><b>----------------------------------------</b></span></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font face="Helvetica" size="3" style="font: normal normal normal 12px/normal Helvetica; "><b>Simona Ronchi Della Rocca</b></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font face="Helvetica" size="3" style="font: normal normal normal 12px/normal Helvetica; "><i>full Professor of </i></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font face="Helvetica" size="3" style="font: normal normal normal 12px/normal Helvetica; "><i>"Foundations of Computer Science"</i></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font face="Helvetica" size="3" style="font: normal normal normal 12px/normal Helvetica; "><i>Dipartimento di Informatica</i></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font face="Helvetica" size="3" style="font: normal normal normal 12px/normal Helvetica; "><i>Universita' di Torino</i></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font face="Helvetica" size="3" style="font: normal normal normal 12px/normal Helvetica; "><i>c.Svizzera 185, 10149 Torino (Italy)</i></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; min-height: 14px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font face="Helvetica" size="3" style="font: normal normal normal 12px/normal Helvetica; "><i>e-mail : </i><a href="mailto:ronchi@di.unito.it"><font color="#001fe8" style="color: rgb(0, 31, 232); "><u><i>ronchi@di.unito.it</i></u></font></a></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font face="Helvetica" size="3" style="font: normal normal normal 12px/normal Helvetica; "><i>phone: +39-011-6706734</i></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font face="Helvetica" size="3" style="font: normal normal normal 12px/normal Helvetica; "><i>fax : +39-011-751603</i></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font face="Helvetica" size="3" style="font: normal normal normal 12px/normal Helvetica; "><i>mobile: +39-320-4205121</i></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; min-height: 14px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font face="Helvetica" size="3" color="#001fe8" style="font: normal normal normal 12px/normal Helvetica; color: rgb(0, 31, 232); "><u><i><a href="http://www.di.unito.it/~ronchi">http://www.di.unito.it/~ronchi</a></i></u><u><i></i></u></font></div><div><font class="Apple-style-span" color="#001FE8" size="3"><span class="Apple-style-span" style="font-size: 12px; text-decoration: underline; "><i><br></i></span></font></div></span></div></div></span><br class="Apple-interchange-newline">
</div>
<br></body></html>