Atlas home || Conferences | Abstracts | about Atlas


FST TCS 2000 Foundations of Software Technology and Theoretical Computer Science

December 13-15, 2000

New Delhi, India

Computer Science

Host: India International Centre
Homepage: http://www.cse.iitd.ernet.in/~fsttcs20
Email: fsttcs20@cse.iitd.ernet.in

Description:
IARCS, the Indian Association for Research in Computing Science, announces the 20th Annual FST TCS Conference in New Delhi. Two satellite workshops are planned: on Computational Geometry and on Advances in Programming Languages.

Typical areas include (but are not restricted to):

Automata, Languages and Computability; Randomized and Approximation Algorithms; Computational Geometry; Computational Biology; Combinatorial Optimization; Graph and Network Algorithms; Complexity Theory; Parallel and Distributed Computing; New Models of Computation; Concurrent, Real-time and Hybrid Systems; Logics of Programs and Modal Logics; Database Theory and Information Retrieval; Automated Reasoning, Rewrite Systems, and Applications; Logic, Proof Theory, Model Theory and Applications; Semantics of Programming Languages; Static Analysis and Type Systems; Theory of Functional and Constraint-based Programming; Software Specification and Verification; Cryptography and Security Protocols.

Date received: May 11, 2000


© 2008 Atlas Conferences Inc.