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).