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.