call for papers, previous message

From:     siva@cse.iitb.ernet.in (G Sivakumar)
Subject:  CFP: Foundations of Software Technology and Theoretical Computer Science
Date:     Tue, 15 Feb 1994 23:00:09 GMT


                         CALL FOR PAPERS
                   Fourteenth Conference on the
                FOUNDATIONS OF SOFTWARE TECHNOLOGY
                 AND THEORETICAL COMPUTER SCIENCE
               December 15-17, 1994, Madras, India

The 14th Annual FST & TCS Conference will take place in Madras.
This year's conference is being jointly organized by the
Institute of Mathematical Sciences, SPIC Science Foundation and
the Indian Institute of Technology, Madras.

SCOPE:

Authors are invited to submit papers presenting original and
unpublished research on theoretical aspects of Computer Science.
Typical areas include (but are not limited to):

    Computational Complexity
    Design and Analysis of Algorithms (including Parallel,
       Distributed, Probabilistic and Randomized Algorithms)
    Data Structures
    Learning Theory
    Computational Geometry
    Temporal and Modal Logics of Programs
    Rewrite Systems
    Type Theory
    Theory of Concurrency (including Reactive, Real-Time and
       Hybrid Systems)
    Theory of Logic Programming, Object-oriented, Functional
       and Constraints-based Programming
    Formal Concepts in Programming Languages
    Specification and Verification Methodologies.


SUBMISSIONS:

Authors are invited to send SIX copies of a draft of a full paper
or an extended abstract.  Papers should be limited to 6000 words
(about 15 pages).  If authors believe that more details are
necessary, they may include a clearly marked appendix which will
be read at the discretion of the Programme Committee.  Each paper
should also contain a short abstract of approximately 200 words.
If available, e-mail addresses and fax numbers of the authors
should also be included.

The Conference Proceedings have been traditionally published by
Springer-Verlag in the series Lecture Notes in Computer Science
(LNCS).  A commitment that the paper will be presented at the
conference by one of the authors is a pre-condition for an
accepted paper to be included in the proceedings.


IMPORTANT DATES:

  Deadline for Submission                 :            15 May 1994
  Notification to Authors                 :          5 August 1994
  Final Version of Accepted Papers due on :       5 September 1994


ADDRESS:

Send papers to:

  P.S. Thiagarajan                   E-mail :     pst@ssf.ernet.in
  FST & TCS 14                                   pst@imsc.ernet.in
  School of Mathematics              Fax    :      +91-44-825 6842
  SPIC Science Foundation
  92  G.N. Chetty Road, T. Nagar
  Madras 600 017, INDIA

For further details concerning the conference, please write to:

  R. Ramanujam                       E-mail : fsttcs@imsc.ernet.in
  FST & TCS 14                       Fax    :      +91-44-235 0586
  Institute of Mathematical
    Sciences
  C.I.T. Campus, Taramani
  Madras 600 113, INDIA


PROGRAMME COMMITTEE:

  S. Arun-Kumar (IIT, Delhi)
  V. Arvind (IMSc, Madras)
  V. Chandru (IISc, Bangalore)
  H. Karnik (IIT, Kanpur)
  K. Krithivasan (IIT, Madras)
  S.N. Maheshwari (IIT, Delhi)
  A. Mukhopadhyay (IIT, Kanpur)
  J. Radhakrishnan (TIFR, Bombay)
  R.K. Shyamasundar (TIFR, Bombay)
  R. Siromoney (MCC, Madras)
  G. Sivakumar (IIT, Bombay)
  P.S. Thiagarajan (SPIC Sci. Found., Madras) (CHAIR)


ORGANIZING COMMITTEE:

  V.R. Dare (MCC, Madras)
  V. Krishnamurthy (Anna Univ., Madras)
  M. Mukund (SPIC Sci. Found., Madras)
  R. Ramanujam (IMSc, Madras)  (CHAIR)
  P. Sreenivasakumar (IIT, Madras)

ADVISORY COMMITTEE:

  S. Abramsky (Imperial College)
  D. Bjorner (UNU/IIST, Macau)
  A. Chandra (IBM Research)
  D. Gries (Cornell)
  M. Joseph (Warwick)
  A.K. Joshi (Pennsylvania)
  R. Kannan (Carnegie-Mellon)
  D. Kapur (SUNY, Albany)
  J.L. Lassez (IBM Research)
  U. Montanari (Pisa)
  R. Narasimhan (CMC, Bangalore)
  M. Nivat  (Paris)
  R. Parikh (CUNY)
  A. Pnueli (Weizmann)
  V.K. Prasanna (USC)
  S. Sahni (Florida)
  S. Tripathi (Maryland)
  W. Wulf (Virginia)

_______________________________________________________________________________