The full version of this Call for Papers is available in two forms,
plain-text and LaTeX .
Scope: Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of Computer Science. Typical areas include (but are not limited to): Computational Complexity; Design and Analysis of Algorithms (including Parallel, Distributed, Probabilistic and Randomized Algorithms); Data Structures; Learning Theory; Computational Geometry; Temporal and Modal Logics of Programs; Rewrite Systems; Type Theory; Theory of Concurrency (including Reactive, Real-Time and Hybrid Systems); Theory of Logic Programming, Object-oriented, Functional and Constraints-based Programming; Formal Concepts in Programming Languages; Specification and Verification Methodologies.
Submissions: Authors are invited to send six copies of a draft of a full paper or an extended abstract. It will not be possible to accept submissions by email. Papers should be limited to 4500 words (about 12 pages). If authors believe that more details are necessary, they may include a clearly marked appendix which will be read at the discretion of the Programme Committee. Each paper should also contain a short abstract of approximately 200 words. If available, e-mail addresses and fax numbers of the authors should also be included. Send papers to:
P.S. Thiagarajan, FST & TCS 14, pst@imsc.ernet.inAlternatively e-mail: pst@ssf.ernet.in or fax: +91-44-825 6842.
School of Mathematics, SPIC Science Foundation
92 G.N. Chetty Road, T. Nagar, Madras 600 017, India
Dates: Subm: 15 May, Notif: 4 August, Final: 8 September 1995.
Further Information
V. Chandru, Computer Science & Automation
Indian Institute of Science, Bangalore 560 012, INDIA.
Fax: +91-80-334 1683, E-mail: fsttcs@csa.iisc.ernet.in