CALL FOR PAPERS
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;
- 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.
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.
|Deadline for submissions:
||September 15, 2008 (23:59 CET)|
|Notification to authors:
||November 19, 2008|
||December 12, 2008|
||February 26-28, 2009|
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
The call for papers can be downloaded as PDF document or as text file.