STACS 2009
26th International Symposium on Theoretical Aspects of Computer Science

February 26 - 28, 2009
Freiburg - Germany
Welcome
Call for Papers
Important Dates
Submission (closed)
Accepted papers
Invited Speakers
Program
Electronic Proceedings
Registration (closed)
Accomodation
Travel Information
Program Committee
Organizing Committee
Previous STACS
Contact
STACS Logo
      CALL FOR PAPERS

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.

Submissions
Authors are invited to submit a draft of a full paper consisting of at most 12 pages using the STACS style (available on www.stacs-conf.org) or a similar one (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.

Please submit your paper via the  EasyChair page for STACS 2009.

Important Dates

Deadline for submissions: September 15, 2008 (23:59 CET)
Notification to authors: November 19, 2008
Final version: December 12, 2008
Symposium: February 26-28, 2009

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 this conference website. Participants of the conference will receive a printed version of the proceedings.

Download
The call for papers can be downloaded as PDF document or as text file.