Call for Papers STACS 2001

  *             S T A C S  2 0 0 1              
  *      18th International Symposium on        
  *  Theoretical Aspects of Computer Science    
  *          February 15 - 17, 2001                                     
  *              Dresden, Germany               
  *      C A L L    F O R     P A P E R S       

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, cryptography,
  algorithmic learning theory;

- Automata and formal languages;

- Computational and structural complexity;

- Logic in computer science, including: semantics, specification,
  and verification of programs, rewriting and deduction;

- Current challenges, for example: theory, models, and algorithms
  for biological computing, quantum computing, mobile and net computing.

Authors are invited to submit a draft of a full paper
(5-12 pages, 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. Electronic submission is
highly recommended. Detailed information is available on the web
site: http://wwwtcs.inf.tu-dresden.de/STACS2001/.

In case of problems with access to internet, it is possible to
submit 6 copies of the draft (plus 1 copy of the appendix) and 15
copies of a one page abstract to the chairperson of the program

  Deadline for submission:    August 28, 2000
  Notification to authors:    November 3, 2000
  Final version:              November  29, 2000
  Symposium:                  February 15--17, 2001

Accepted papers will be published in the proceedings
of the symposium (Lecture Notes in Computer Science,
Springer-Verlag). Simultaneous submission to other conferences
with published proceedings is not allowed.

We expect to receive HPP grants from the EU commission to
be able to support young researchers (age below 40 for female and
below 35 for male) from EU countries or associated countries
attending the conference. Detailed information is available via
request on e-mail request.