Foundations of Software Technology and Theoretical Computer Science

New Delhi, India
December 13-15 2000

Electronic Submission Page

Electronic Paper Submission Deadline: 07 June 2000.

The strongly prefered way to submit your paper is via this form. Follow the instructions, step-by-step, and then use the "Submit" button at the bottom of the form.

If your browser does not handle forms, see note below.

Corresponding author's name:
Corresponding author's email:
Postal Address:
Title of Paper:
Submit Paper:
  • We can accept postscript or PDF formats, in dialects created by most contemporary document preparation tools, for either USLetter (8.5"x11") or A4 page sizes.

  • The file can also be compressed in any standard format, with its appropriate MIME extent (ps.gz for gzipped postscript, ps.Z for compressed postscript, etc.).

  • In rare cases you may need to use compression, since our server can't handle more than 5 MB in a single transfer.
Find the file containing your submission:

Abstract: Cut and paste in 100-200 words of ASCII text. No control characters PLEASE.

Please use the list of topics below to characterize your submission. Check all categories that seem appropriate.

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

Please don't submit your paper before you are ready; we would rather not have to deal with revisions of already submitted papers.

Note on Form-Based Uploads: This form requires your browser to support form-uploads (Internet RFC 1867). While almost all browsers support this feature, including the Netscape Navigator and Internet Explorer, some ancient browsers do not. If you do not see a "Browse" button above -- next to the entry for paper's file name -- then your browser falls into this category. There are two solutions to this problem, one of which is to do yourself a favor, to enter the modern computing era, and to just upgrade your browser. The other solution is to send email to, and we'll work out an alternative.

Server START Conference Manager
Update Time 17 Jun 2000 at 17:07:13
Start Conference Manager
Conference Systems