Wednesday
Thursday
Friday
Invited Speakers:
Sanjeev Arora, Princeton
Christos Papadimitriou, Berkeley
George Paun, Romanian Academy
Scope: Authors are invited to submit papers presenting
original and unpublished research in all areas of theoretical
computer science. Topics of interest include (but are not limited to):
design and analysis of algorithms, abstract data types, approximation
algorithms, automata and formal languages, categorical and topological
approaches, circuits, computational and structural complexity, circuit
and proof theory, computational biology (new), computational geometry,
computer systems theory, concurrency theory, cryptography, domain theory,
distributed algorithms and computation, molecular computation,
quantum computation and information, granular computation,
probabilistic computation, learning theory, rewriting, semantics,
logic in computer science, specification, transformation and verification,
algebraic aspects of computer science.
Submissions:
Authors are invited to submit extended abstracts of their papers,
presenting original contributions to the theory of computer
science. All papers should be submitted in electronic form
(in Postscript) to [email protected].