JENKINS@CS.COLUMBIA.EDU (Debra A. Jenkins) (02/18/86)
CALL FOR PAPERS
SIXTH CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY &
THEORETICAL COMPUTER SCIENCE
New Delhi, India, 18-20 December 1986
Sponsored by Indian Institute of Technology, Delhi
Tata Institute of Fundamental Research
Tata Research Development and Design Centre
This is the sixth in a series of annual computer science conferences
organized to provide a forum for presenting research results, from
India and abroad. papers are invited 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 will be refereed and the final selection will be made by the
Programme Committee. Authors should send four copies of each full
paper to
K. V. Nori
TRDDC
1 Magaldas Road
Pune 411 001 India
to reach by 31 May 1986. Authors will be informed of acceptance by
31 July 1986 and final manuscripts of papers must be received by
6 September 1986 to be included in the Proceedings.
Conference Advisory Committee
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)
J. Nievergelt (North Carolina)
M. Nivat (Paris)
R. Parikh (New York)
S. Rao Kosaraju (Johns Hopkins)
S. Sahni (Minnesota)
P.S. Thiagarajan (Aarhus)
W. A. Wulf (Tartan Labs.)
Programme Committee
A. Bagchi (IIM, Calcutta)
A. Kumar (ITT Delhi)
K. B. Lakshmanan (ITT Madras)
S. N. Maheshwari (ITT Delhi)
K. V. Nori (Tata RDDC, Pune)
R. Sangal (ITT Kanpur)
R. Siromoney (Madras Christian College)
C. E. Veni Madhavan (IISc, Banagalore)
-------