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!floyd!harpo!decvax!cbosgd!narayana@psuvax.UUCP
From: narayana@psuvax.UUCP
Newsgroups: net.announce
Subject: Call for papers
Message-ID: <1112@cbosgd.UUCP>
Date: Tue, 20-Mar-84 09:52:28 EST
Article-I.D.: cbosgd.1112
Posted: Tue Mar 20 09:52:28 1984
Date-Received: Wed, 21-Mar-84 02:38:26 EST
Sender: mark@cbosgd.UUCP
Organization: AT&T Bell Laboratories, Columbus
Lines: 49
Approved: mark@cbosgd.UUCP

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