26-28 Feb 2009
Freiburg, Germany
************************************************************************
26th International Symposium on Theoretical Aspects of Computer Science
STACS 2009 - CALL FOR PAPERS
February 26-28, 2009; Freiburg, Germany
http://stacs2009.informatik.uni-freiburg.de/
************************************************************************
SCOPE
*****
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):
* Algorithms and data structures, including: parallel and distributed
algorithms, computational geometry, algorithmic learning theory;
* Computational and structural complexity;
* Cryptography;
* Automata and formal languages;
* Logic in computer science, including: semantics, specification and
verification of programs, rewriting and deduction;
* Current challenges, for example: computational biology, quantum
computing, networks and mobile computing.
IMPORTANT DATES
***************
Deadline for submission: September 15, 2008 (23:59 CET)
Notification to authors: November 19, 2008
Final version: December 12, 2008
Symposium: February 26-28, 2009
INVITED SPEAKERS
****************
Monika Henzinger, EPFL Lausanne
Jean-ric Pin, CNRS & Univ. Paris 7
Nicole Schweikardt, Univ. of Frankfurt
SUBMISSIONS
***********
Authors are invited to submit a draft of a full paper consisting of at
most 12 pages (STACS style or similar - e.g. LaTeX article style, 11pt
font on A4-sized paper). 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. Papers must be submitted
electronically and should be formatted in PostScript or PDF.
Simultaneous submission to other conferences with published proceedings
is not allowed.
PROCEEDINGS
***********
Accepted papers will be published in the proceedings of the Symposium.
For the second time, these proceedings will take the form of an archive
in the open access electronic repositories HAL and arXiv as well as on
the Dagstuhl publication server DROPS. These gateways guarantee perennial,
free and easy electronic access, while the authors retain the
rights of their work. 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 www.stacs-conf.org and on the conference website.
Participants of the conference will receive a printed version of the
proceedings.
PROGRAM COMMITTEE
*****************
Susanne Albers, Univ. of Freiburg (co-chair)
Andris Ambainis, Univ. of Latvia
Philippe Baptiste, Ecole Polytechnique & CNRS LIX
Holger Bast, MPI Saarbrcken
Patricia Bouyer, CNRS & ENS Cachan
Martin Dietzfelbinger, TU Ilmenau
Zoltn sik, Univ. of Szeged & Univ. of Tarragona
Christiane Frougny, Univ. Paris 8 & LIAFA CNRS
Leonid Libkin, Univ. of Edinburgh
Meena Mahajan, Inst. of Math. Sciences Chennai
Jean-Yves Marion, Nancy-Univ. & Loria (co-chair)
K. Narayan Kumar, Chennai Math. Inst.
Friedrich Otto, Univ. of Kassel
Jol Ouaknine, Oxford Univ.
Harald Rcke, Univ. of Warwick
Eric Rmila, CNRS & Univ. St-Etienne
Adi Rosn, CNRS & Univ. of Paris 11
Martin Skutella, TU Berlin
Jeremy Spinrad, Vanderbilt Univ.
Kavitha Telikepalli, IISc Bangalore
Thomas Wilke, Univ. of Kiel
Philipp Woelfel, Univ. of Calgary
CONFERENCE ADDRESS
******************
STACS 2009
c/o Prof. S. Albers
Department of Computer Science
Albert Ludwigs University Freiburg
Georges Koehler Allee 79
D-79110 Freiburg, Germany
email: stacs2009@informatik.uni-freiburg.de
phone: +49 (761) 203-8041
fax: +49 (761) 203-8042