[ut.theory] FST & TCS 7

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.