Logic List Mailing Archive

STACS 2009: Symposium on Theoretical Aspects of Computer Science

26-28 February 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 contai
n
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


ORGANIZING COMMITTEE
********************
Susanne Albers, Univ. of Freiburg
Tobias Jacobs, Univ. of Freiburg
Sonja Lauer, Univ. of Freiburg
Tim Nonner, Univ. of Freiburg
Alexander Souza, Univ. of Freiburg


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