<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">************************************************************************<br><br>27th International Symposium on Theoretical Aspects of Computer Science<br><br> STACS 2010 - CALL FOR PAPERS<br><br> MARCH 4-6, 2010, NANCY, FRANCE<br><br> <a href="http://stacs.loria.fr/">http://stacs.loria.fr/</a><br><br>************************************************************************<br><br><br>SCOPE<br>********<br>Authors are invited to submit papers presenting original and unpublished<br>research on theoretical aspects of computer science. Typical areas<br>include (but are not limited to):<br><br>* Algorithms and data structures, including: parallel and distributed algorithms,<br> computational geometry, cryptography, algorithmic learning theory;<br>* Automata and formal languages;<br>* Computational and structural complexity;<br>* Logic in computer science, including: semantics, specification,<br> and verification of programs, rewriting and deduction;<br>* Current challenges, for example: biological computing,<br> quantum computing, mobile and net computing.<br><br><br>INVITED SPEAKERS<br>***********************<br>Mikolaj Bojanczyk, Warsaw University<br>Rolf Niedermeier, University of Jena<br>Jacques Stern, Ecole Normale Supérieure<br><br>PROGRAM COMMITTEE<br>***************************<br>Markus Bläser, Saarland University<br>Harry Buhrman, CWI, University of Amsterdam<br>Thomas Colcombet, CNRS, Paris 7 University<br>Anuj Dawar, University of Cambridge<br>Arnaud Durand, Paris 7 University<br>Sándor Fekete, Braunschweig University of Technology<br>Ralf Klasing, CNRS, Bordeaux University<br>Christian Knauer, Freie Universität of Berlin<br>Piotr Krysta, University of Liverpool<br>Sylvain Lombardy, Marne la Vallée University<br>Parthasarathy Madhusudan, University of Illinois<br>Jean-Yves Marion, Nancy University (co-chair)<br>Pierre McKenzie, Université de Montréal<br>Rasmus Pagh, IT University of Copenhagen<br>Boaz Patt-Shamir, Tel Aviv University<br>Christophe Paul, CNRS, Montpellier University<br>Georg Schnitger, Frankfurt University<br>Thomas Schwentick, TU Dortmund University (co-chair)<br>Helmut Seidl, TU Munich<br>Jirí Sgall, Charles University<br>Sebastiano Vigna, Università degli Studi di Milano<br>Paul Vitanyi, CWI, Amsterdam<br><br>SUBMISSIONS<br>*******************<br>Authors are invited to submit a draft of a full paper with at most 12<br>pages (STACS style or similar - e.g. LaTeX article style, 11pt a4paper).<br>The title page must contain a classification of the topic covered,<br>preferably using the list of topics above. The paper should contain a<br>succinct statement of the issues and of their motivation, a summary of<br>the main results, and a brief explanation of their significance,<br>accessible to non-specialist readers. Proofs omitted due to space<br>constraints must be put into an appendix to be read by the program<br>committee members at their discretion. Submissions deviating from these<br>guidelines risk rejection. Electronic submissions should be formatted<br>in PostScript or PDF.Simultaneous submission to other conferences<br>with published proceedings is not allowed.<br><br>PROCEEDINGS<br>********************<br>Accepted papers will appear in the proceedings of the Symposium, which are published electronically in the LIPIcs<br>(Leibniz International Proceedings in Informatics) series, available through Dagstuhl's website.<br>The LIPIcs series provides an ISBN for the proceedings volume and manages the indexing issues.<br>Accepted papers will also be archived in the open access electronic repositories HAL and arXiv.<br>These gateways, as well as the LIPIcs series, guarantee perennial, free and easy electronic access,<br>while the authors will retain the rights over their work.<br>With their submission, authors consent to sign a license authorizing the program committee chairs to organize<br>the electronic publication of their paper if it is accepted.<br>Further details are available on <a href="http://www.stacs-conf.org/">www.stacs-conf.org</a> and on the conference website.<br>Participants of the conference will receive a printed version of the proceedings.<br>It is also planned to publish in a journal a selection of papers.<br><br><br>IMPORTANT DATES<br>***************************<br>Deadline for submission: September 22, 2009<br>Notification to authors: November 26, 2009<br>Final version: December 18, 2009<br>Symposium: March 4-6, 2010</body></html>