<p style="font-family:verdana,sans-serif"><i>[Apologies for multiple copies]</i></p>
<p style="font-family:verdana,sans-serif"><br></p>
<p style="text-align:center;font-family:verdana,sans-serif">29th International Symposium on Theoretical Aspects of Computer Science</p><div style="font-family:verdana,sans-serif">
</div><p style="text-align:center;font-family:verdana,sans-serif"><font size="6"><span style="font-family:arial black,sans-serif">STACS 2012</span> - CALL FOR PAPERS</font></p><div style="text-align:center;font-family:verdana,sans-serif">
</div><p style="text-align:center;font-family:verdana,sans-serif">Feb 29th to March 3rd, 2012, Paris, France</p><div style="text-align:center;font-family:verdana,sans-serif">
</div><p style="text-align:center;font-family:verdana,sans-serif"><a href="http://stacs2012.lip6.fr/">http://stacs2012.lip6.fr/</a></p>
<p style="font-family:verdana,sans-serif"><font size="4"><br></font></p><font style="font-family:verdana,sans-serif" size="4">
</font>
<p style="font-family:verdana,sans-serif"><font size="4"><b>Scope</b></font></p>
<p style="font-family:verdana,sans-serif">Authors are invited to submit papers presenting original
and unpublished research on theoretical aspects of computer science.
Typical areas include (but are not limited to):</p>
<ul style="font-family:verdana,sans-serif"><li>Algorithms and data structures, including: parallel
and distributed algorithms, computational geometry, cryptography,
algorithmic learning theory;</li><li>Automata and formal languages;</li><li>Computational and structural complexity;</li><li>Logic in computer science, including: semantics, specification, and verification of programs, rewriting and deduction;</li>
<li>Current challenges, for example: biological computing, quantum computing, mobile and net computing.</li></ul>
<p style="font-family:verdana,sans-serif"><font size="4"><b>Program committee</b></font></p>
<ul style="font-family:verdana,sans-serif"><li>Vikraman Arvind, Chennai</li><li>Manuel Bodirsky, Ecole Polytechnique</li><li>Hans Bodlaender, Utrecht</li><li>Felix Brandt, Munich</li><li>
Véronique Bruyère, Mons</li><li>Didier Caucal, Marne-la-Vallée</li><li>Stéphane Demri, Cachan</li><li>Christoph Dürr, Paris (co-chair)</li><li>Robert Elsässer, Paderborn</li><li>Anupam Gupta, Pittsburgh</li><li>Lane A. Hemaspaandra, Rochester</li>
<li>Stephan Kreutzer, Berlin</li><li>Orna Kupferman, Jerusalem</li><li>Dietrich Kuske, Ilmenau</li><li>Seffi Naor, Technion </li><li>Monaldo Mastrolilli, Manno-Lugano</li><li>Michel de Rougemont, Paris</li><li>Michiel Smid, Ottawa</li>
<li>Iain Stewart, Durham</li><li>Heribert Vollmer, Hannover</li><li>Igor Walukiewicz, Bordeaux</li><li>Thomas Wilke, Kiel (co-chair)</li></ul>
<p style="font-family:verdana,sans-serif"><font size="4"><b>Invited Speakers</b></font></p><font style="font-family:verdana,sans-serif" size="4">
</font>
<ul style="font-family:verdana,sans-serif"><li>Martin Dietzfelbinger, Ilmenau</li><li>Thomas Colcombet, Paris</li><li>Shafi Goldwasser, MIT</li></ul>
<p style="font-family:verdana,sans-serif"><font size="4"><b>Submissions</b></font></p><font style="font-family:verdana,sans-serif" size="4">
</font>
<p style="font-family:verdana,sans-serif">Authors are invited to submit a draft of a full paper
with at most 12 pages (STACS style or similar, e.g., LaTeX article style
with options 11pt and a4paper). The title page must contain a
classification of the topic covered, preferably using the list of topics
above. The paper should contain a succinct statement of the issues and
of their motivation, a summary of the main results, and a brief
explanation of their significance, accessible to non-specialist readers.
Proofs omitted due to space constraints must be put into an appendix to
be read by the program committee members at their discretion.
Submissions deviating from these guidelines risk rejection. Electronic
submissions should be formatted in PDF.</p>
<p style="font-family:verdana,sans-serif">Simultaneous submission to other conferences with published proceedings is not allowed.</p>
<h3 style="margin:0px 0px 14px;font-family:verdana,sans-serif;font-style:normal;font-variant:normal;font-weight:normal;line-height:normal;font-size-adjust:none;font-stretch:normal">
<font size="4"><b>Proceedings</b></font></h3>
<p style="font-family:verdana,sans-serif">Accepted papers will be published in the proceedings of
the Symposium. As usual, these proceedings will appear in the Leibniz
International Proceedings in Informatics (LIPIcs) series, based at
Schloss Dagstuhl. This guarantees perennial, free and easy electronic
access, while the authors will retain the rights over their work. In
addition, the proceedings will also be available as archives in the open
access electronic repository HAL. With their submission, authors
consent to sign a license authorizing the program committee chairs to
organize the electronic publication of their paper if it is accepted.
Further details are available on <a href="http://www.stacs-conf.org/" target="_blank"><span>www.stacs-conf.org</span></a> and on the conference <a href="http://stacs2012.lip6.fr/" target="_blank"><span>website</span></a>.</p>
<p style="font-family:verdana,sans-serif">Instructions for the preparation of final manuscripts can be found at the LIPIcs <a href="http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/" target="_blank">website</a>.</p>
<p style="font-family:verdana,sans-serif">Participants of the conference will receive a USB-stick
with an electronic version of the proceedings. It is also planned to
publish in a journal a selection of papers.</p>
<h3 style="margin:0px 0px 14px;font:17px verdana,sans-serif"><b>Important dates</b></h3><span style="font-family:verdana,sans-serif">Submission deadline: <a href="http://timeanddate.com/s/20c1" target="_blank">S</a><a href="http://timeanddate.com/s/20c1" target="_blank">eptember 23rd, 2011</a></span><br style="font-family:verdana,sans-serif">
<span style="font-family:verdana,sans-serif">
Notification to authors: November 28th, 2011</span><br style="font-family:verdana,sans-serif"><span style="font-family:verdana,sans-serif">Final version: January 2nd, 2012</span><br style="font-family:verdana,sans-serif">
<span style="font-family:verdana,sans-serif">Symposium: Feb 29th to March 3rd, 2012
</span>