taylor@hplabsc.UUCP (04/13/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. - -