narayana@psuvax.UUCP (Kuram T. Narayana) (03/09/84)
Subject: Call for papers
4th Conference on Foundations of Software
Engineering and Theoretical Computer Science
Bangalore, INDIA, DECEMBER 13-15, 1984
Sponsor: Tata Institute of Fundamental Research, Bombay, India.
Conference advisory committe:
A.Chandra(IBM), B.Chandrasekharan(Ohio state), S.Crespi Reghizzi(Milan)
D.Gries(Cornell), A.Joshi(Penn), U.Montanari(Pisa), J.H.Morris(CMU),
A.Nakamura(Hiroshima), R.Narasimhan(TIFR), J.Nivergelt(ETH), M.Nivat(Paris)
R.Parikh(Ney York), S.R.Kosaraju(Johns Hopkins), B.Reusch(Dortmund),
R.Sethi(Bell labs), S.Sahni(Minnesota), P.S.Tiagarajan(Aarhus),
W.A.Wulf(Tartan labs).
Papers are invited in the following areas:
Programming languages and systems
Program correctness and proof methodologies
Formal semantics and specifications
Theory of computation
Formal languages and automata
Algorithms and complexity
Data bases
Distributed computing
Computing practice
Papers will be REFEREED and a final selection will be made by the programme
committe.
Authors should send four copies of each paper to
Chairman, FST&TCS Programme Committe
Tata Institute of Fundamental Research
Homi Bhabha Road, BOMBAY, 400 005, India
Due date for receiving full papers: MAY 31, 1984.
Authors will be notified of acceptance/rejection by: JULY 31,1984
Camera ready papers must be submitted by: SEP 15,1984
PROCEEDINGS WILL BE PUBLISHED. For further details contact the above address.
Programme Committe: M.Joseph(TIFR), S.N.Maheswari(IIT), S.L.Mahindiratta(IIT),
K.V.Nori(Tata RDDC), S.V.Rangaswamy(IISC), R.K.Shyamasundar
(TIFR), R.Siromani(Madras Christian college).