taylor@hplabsc.UUCP (02/12/87)
---
CALL FOR PAPERS
Seventh Conference on
Foundations of Software Technology & Theoretical Computer Science
Pune, India, 17-19 December 1987
Sponsored by
Tata Institute of Fundamental Research
Tata Research Development and Design Centre
This annual conference is organized to provide a forum for presenting
original research results, from India and abroad, in theoretical aspects
of computer science and its application to computing practice. Authors
are invited to submit papers in the following and related areas:
Programming and proof methodologies
Functional and logic progromming
Formal semantics and specifications
Theory of computation
Formal Languages and Automata
Algorithms and complexity
VLSI
Data Bases
Distributed Computing
Computing Practice
Papers should be atmost 20 pages (5000 words) long. The covering letter
should indicate the address (and author, in case of multiple authors) for
all further correspondance. When citing papers submitted elsewhere, but
not published at the time of submission to this conference, the
similarities, and more importantly the differences between such works must
be clearly brought out. Four copies of each full paper should be sent to
Kesav V. Nori
FST & TCS 7
TRDDC
1, Mangaldas Road
Pune 411001, INDIA
tel: (212)-61608 Telex: 0145-464
to reach by June 1, 1987. Papers will be refereed and final selection
will be made by the Programme Committee. Authors will be informed of
acceptance by August 3, 1987 and a final camera ready manuscript must be
received by September 7, 1987 to be included in the proceedings.
Please see volumes 181,206 and 241 of Lecture Notes in Computer Science
series published by Springer Verlag, for the proceedings of the past 3 FST
& TCS conferences.
--