Atlas home || Conferences | Abstracts | about Atlas
Host: University of Lille 1
Homepage: http://www.lifl.fr/stacs2000/
Email: stacs2000@lifl.fr
Organizers: Sophie Tison
Deadline for abstracts: September 05, 1999
Description:
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.
Speakers: T. Henzinger (MPI Saarbrücken), P. Koiran (ENS Lyon), A. Shokrollahi (Lucent Bell Labs)
Date received: September 29, 1999
© 2008 Atlas Conferences Inc.