arvind@utcsri.UUCP (Arvind Gupta) (02/24/87)
From: Ashok K. Chandra <ashok@ibm.com> Subject: FST & TCS 7. CALL FOR PAPERS Seventh Conference on Foundations of Software Technology and 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 programming Formal semantics and specifications Theory of computation Formal languages and automata Algorithms and complexity VLSI Data bases Distributed computing Computing practice Papers should be at most 20 PAGES (5000 WORDS) long. The covering letter should indicate the address (and author, in case of multiple authors) for all further correspondence. 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: K. V. Nori FST & TCS 7 TRDDC 1, Mangaldas Road Pune 411 001, 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 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. CONFERENCE ADVISORY COMMITTEE D. Bjorner (Denmark) A. Chandra (IBM Res.) B. Chandrasekaran (Ohio State) S. Crespi Reghizzi (Milan) Z. Galil (Columbia) D. Gries (Cornell) M. Joseph (Warwick) A. Joshi (Pennsylvania) U. Montanari (Pisa) A. Nakamura (Hiroshima) R. Narasimhan (TIFR) M. Nivat (Paris) R. Parikh (New York) S. Rao Kosaraju (Johns Hopkins) S. Sahni (Minnesota) W. A. Wulf (Tartan Labs.) PROGRAMME COMMITTEE A. Bagchi (IIM, Calcutta) C. R. Muthukrishnan (IIT, Madras) K. V. Nori (TRDDC, Pune) L. Patnaik (IISc, Banglore) H. V. Sahasrabuddhe (Poona University) R. Sangal (IIT, Kanpur) R. Siromoney (Madras Christian College) C. E. Veni Madhavan (IISc, Banglore) PUNE is an historical city about 190 kms. south each of Bombay. It is well connected by air and train to all important cities in India. December is a pleasant month in Pune, with temperatures ranging from 8 degrees C at night to 25 degrees C in the afternoon. It is good time for sightseeing with the possibilities ranging from hill stations and coastal resorts, to cave paintings, rock cut temples and hill top forts.