This CFP is available
in LaTeX format: http://www.lifl.fr/stacs2000/cfp.tex
in PostScript format: http://www.lifl.fr/stacs2000/cfp.ps
in HTML: http://www.lifl.fr/stacs2000/cfp.html
------------------------------------------------------------
STACS'2000 is the 17th International Symposium on Theoretical
Aspects of Computer Science.
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, 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.
Submissions:
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. Electronic submission is
highly recommended. Detailed information is available on the web site
http://www.lifl.fr/stacs2000/
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 committee.
Important dates:
- Deadline for submission: September 5 , 1999
- Notification to authors: November 5 , 1999
- Final version: November 29 , 1999
- Symposium: February 17--19, 2000
Invited Speakers:
- T. Henzinger (MPI Saarbrücken)
- P. Koiran (ENS Lyon)
- A. Shokrollahi (Lucent Bell Labs)
Program Committee:
H. Alt (Berlin) P. Crescenzi (Firenze)
A. Czumaj (Paderborn) V. Diekert (Stuttgart)
M. Habib (Montpellier) D. Krob (Paris 7)
M. Mitzenmacher (Harvard) M. Ogihara (Rochester)
H. Reichel (Dresden, co-chair) Y. Robert (Lyon)
Ph. Schnoebelen (Cachan) S. Tison (Lille, chair)
H. Vollmer (Würzburg) I. Walukiewicz (Warsaw)
G. Woeginger (Graz)
Proceedings:
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.
Grants:
We expect to receive TMR 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 on e-mail request.
Conference Chair:
Sophie Tison
LIFL - Bât. M3, Université de Lille I
59655 Villeneuve d'Ascq Cedex
France
Phone: ++33-3-20-43-43-09
Fax: ++33-3-20-43-65-66
Web: www.lifl.fr/stacs2000/
email: stacs2000@lifl.fr
Organizing Committee:
A.C. Caron
R. Gilleron
S. Tison
M. Tommasi
Sponsored by:
European Community,
LIFL, ENIC, Université Lille 1, MESR, CNRS, Ministère des
affaires étrangères,
Ville de Lille, Ville de Villeneuve d'Ascq, Conseil Régional
Nord-Pas de Calais, Conseil Général du Nord.
The 17th International Symposium on Theoretical Aspects of Computer
Science is organized jointly by the Special Interest Group for
Theoretical Computer Science of the Gesellschaft für Informatik (GI)
and the Maison de l'Informatique et des Mathématiques Discrètes
(MIMD).
============================================================