(Message inbox:43) Return-Path: Received: from THEORY.CS.CMU.EDU by MISSING.LINK.CS.CMU.EDU id aa05143; 16 May 96 0:53 EDT Received: from vm1.NoDak.edu by THEORY.CS.CMU.EDU id aa04637; 16 May 96 0:46:33 EDT Received: from VM1.NODAK.EDU by VM1.NoDak.EDU (IBM VM SMTP V2R2) with BSMTP id 3287; Wed, 15 May 96 23:15:59 CDT Received: from VM1.NODAK.EDU (NJE origin LISTSERV@NDSUVM1) by VM1.NODAK.EDU (LMail V1.2a/1.8a) with BSMTP id 2711; Wed, 15 May 1996 23:15:46 -0500 Received: from VM1.NODAK.EDU by VM1.NODAK.EDU (LISTSERV release 1.8b) with NJE id 5307 for THEORYNT@VM1.NODAK.EDU; Wed, 15 May 1996 23:15:07 -0500 Received: from VM1.NODAK.EDU (NJE origin LISTSERV@NDSUVM1) by VM1.NODAK.EDU (LMail V1.2a/1.8a) with BSMTP id 1950; Wed, 15 May 1996 23:11:27 -0500 Received: from VM1.NODAK.EDU by VM1.NODAK.EDU (LISTSERV release 1.8b) with NJE id 5142 for THEORY-A@VM1.NODAK.EDU; Wed, 15 May 1996 23:11:23 -0500 Received: from NDSUVM1 (NJE origin SMTP@NDSUVM1) by VM1.NODAK.EDU (LMail V1.2a/1.8a) with BSMTP id 1737; Wed, 15 May 1996 23:10:28 -0500 Received: from pollux.usc.edu by VM1.NoDak.EDU (IBM VM SMTP V2R2) with TCP; Wed, 15 May 96 23:10:18 CDT Received: (from ierardi@localhost) by pollux.usc.edu (8.7.2/8.7.2/usc) id TAA16260 for theory-a@vm1.nodak.edu; Wed, 15 May 1996 19:42:24 -0700 (PDT) Status: RO Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <199605131015.KAA24762@cygnus.csa.iisc.ernet.in> Date: Wed, 15 May 1996 19:42:23 PDT Reply-To: Theory-A - TheoryNet World-Wide Events , Prof Vijay Chandru Sender: TheoryNet List From: Prof Vijay Chandru Subject: Final Call for Papers FST&TCS16 Comments: To: Multiple recipients of list THEORY-A To: Local Distribution CALL FOR PAPERS Sixteenth Conference on the FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE December 18-20, 1996 Hyderabad, India The 16th Annual FST & TCS Conference will take place in Hyderabad. This year's conference is being organized by the University of Hyderabad. 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; Finite Model Theory; Logical Aspects of Computational Complexity (including Proof Theoretic Approaches and Complexity of Formal Proof Systems); Constructive Mathematics; Linear Logic; 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. Electronic submissions are possible and detailed instructions are posted on the conference homepage on WWW. (Please see the added note below - regarding email submission). However, as this electronic submission facility is being tried for the first time, we strongly encourage authors to also submit atleast one hard copy. Papers should be limited to 4500 words (about 12 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 referees. 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 1996 Notification to Authors : 1 August 1996 Final Version of Accepted Papers due on : 8 September 1996 ADDRESS: Send papers (hard copies) to: Vijay Chandru E-mail : chandru@csa.iisc.ernet.in FST & TCS 16 fsttcs@csa.iisc.ernet.in Computer Science & Automation Fax : +91-80-334 1683 Indian Institute of Science Bangalore 560 012, INDIA Electronic Submissions: http://www.csa.iisc.ernet.in/fsttcs.html %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%ADDITION%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Due to heavy netscape traffic on the India link, you may find it difficult to use this facility. If your patience runs out just email a compressed/uuencoded version of your postscript file to fsttcs@csa.iisc.ernet.in %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% For local arrangements concerning the conference, please write to: Arun K. Pujari E-mail : akpcs@uohyd.ernet.in Computer & Information Sciences Fax : +91-40-258125/258145 University of Hyderabad Hyderabad 500 046, INDIA PROGRAMME COMMITTEE: V. Arvind (IMSc, Madras) V. Chandru (IISc, Bangalore) (CHAIR) T.K. Dey (IIT, Kharagpur) H. Edelsbrunner (UIUC, Urbana-Champaign) J.J.M. Hooman (EindhovenU, Eindhoven) P. Jalote (IIT, Kanpur) S. Kannan (UPenn, Philadelphia) D. Kapur (SUNY, Albany) M. Nielsen (BRICS, Aarhus) S. Prasad (IIT, Delhi) A.K. Pujari (UHyd, Hyderabad) V. Raman (IMSc, Madras) R.K. Shyamasundar (TIFR, Bombay) G. Sivakumar (IIT, Bombay) M. Sohoni (IIT, Bombay) P.S. Thiagarajan (SPIC Sci. Found., Madras) H. Venkateswaran (GaTech, Atlanta) V. Vinay (IISc, Bangalore)