17th International Symposium on Theoretical Aspects of Computer Science

An international symposium on the theoretical aspects of computer science will be held in Lille, France, from 17 to 19 February 2000.

This conference is intended to showcase original and unpublished works on the theoretical aspects of computer science.

Topics to be covered include:

- 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.
For further information please contact:

STACS 2000 - LIFL - Bât. M3
Université de Lille I
F-59655 Villeneuve d'Ascq Cedex
Tel. +33-3-20434309; Fax: +33-3-20436566
E-mail: stacs2000@lifl.fr
URL: http://www.lifl.fr/stacs2000/(odnośnik otworzy się w nowym oknie)