Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 5/3/83; site cbosgd.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxl!ihnp4!cbosgd!narayana@psuvax.UUCP
From: narayana@psuvax.UUCP
Newsgroups: net.announce
Subject: Call for papers (repeat of chopped article)
Message-ID: <1120@cbosgd.UUCP>
Date: Tue, 20-Mar-84 21:34:56 EST
Article-I.D.: cbosgd.1120
Posted: Tue Mar 20 21:34:56 1984
Date-Received: Wed, 21-Mar-84 04:57:20 EST
Sender: mark@cbosgd.UUCP
Organization: AT&T Bell Laboratories, Columbus
Lines: 52
Approved: mark@cbosgd.UUCP

(This got chopped in some copies the first time.  Sorry to have
to repeat it - MRH)

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