From owner-dma-list@NIC.SURFNET.NL Tue Mar 3 02:33:32 1998 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.7/8.8.8) with ESMTP id CAA19841; Tue, 3 Mar 1998 02:33:32 -0800 (PST) Received: from listserv-mail.surfnet.nl (listserv-mail.surfnet.nl [192.87.5.141]) by CS.Stanford.EDU (8.8.8/8.8.8) with ESMTP id CAA03803; Tue, 3 Mar 1998 02:34:59 -0800 (PST) Received: from listserv-mail (192.87.5.141) by listserv-mail.surfnet.nl (LSMTP for Windows NT v1.1a) with SMTP id <0.4A960180@listserv-mail.surfnet.nl>; Tue, 3 Mar 1998 11:34:13 +0100 Received: from NIC.SURFNET.NL by NIC.SURFNET.NL (LISTSERV-TCP/IP release 1.8c) with spool id 108898 for DMA-LIST@NIC.SURFNET.NL; Tue, 3 Mar 1998 11:34:19 +0100 Received: from utmfu6.math.utwente.nl by listserv.surfnet.nl (LSMTP for Windows NT v1.1a) with SMTP id <0.4D57B990@listserv.surfnet.nl>; Tue, 3 Mar 1998 11:34:18 +0100 Received: from utmfu0.math.utwente.nl (utmou1.math.utwente.nl) by utmfu6.math.utwente.nl with ESMTP (1.40.112.8/16.2) id AA240571183; Tue, 3 Mar 1998 11:33:09 +0100 Received: by utmfu0.math.utwente.nl ($Revision: 1.36.108.11 $/16.2) id AA088241181; Tue, 3 Mar 1998 11:33:01 +0100 Mailer: Elm [revision: 66.36.1.1] Approved-By: DMANET Message-ID: <199803031033.AA088241181@utmfu0.math.utwente.nl> Date: Tue, 3 Mar 1998 11:32:59 MET Reply-To: fsttcs98@imsc5.imsc.ernet.in Sender: DMANET From: DMANET Subject: FSTTCS 98, 1st Call for Papers To: DMA-LIST@NIC.SURFNET.NL X-Status: Status: OR *********************************************************************** * First Call for Papers * *********************************************************************** * * * FST & TCS '98 * * * * Foundations of Software Technology and Theoretical Computer Science * * December 17--19, 1998, Chennai, India * * * *********************************************************************** * Conference Home-page at http://www.imsc.ernet.in/fsttcs98 * *********************************************************************** (A postscript version of this announcement is available at http://www.imsc.ernet.in/~fsttcs98/cfp.ps.gz or by email from "fsttcs98@imsc.ernet.in" .) IARCS, the Indian Association for Research in Computing Science, announces the 18th Annual FST & TCS Conference in Chennai, jointly organized by the Institute of Mathematical Sciences and the SPIC Mathematical Institute. In addition to invited talks and contributed papers, the 1998 programme will have two "theme sessions", one each on "Quantum Computation" and "Model Checking". Satellite events include two 2-day workshops, on "Molecular Computation" and "Finite Model Theory". Authors are invited to submit papers presenting original and unpublished research on ALL theoretical aspects of Computer Science. Typical areas include (but are not limited to): Automata, Languages and Computability Design and Analysis of Algorithms Computational Geometry Complexity Theory Parallel and Distributed Computing New Models of Computation Concurrent, Real-time and Hybrid Systems Logics of Programs Learning Theory Database Theory Automated Reasoning, Rewrite Systems, and Applications Programming Language Semantics and Type Theory Logic, Functional, and Object-oriented Programming Software Specification, Construction and Verification In addition, we invite papers on the two special themes: Quantum Computation, and Model Checking Accepted papers on these topics will be part of special "theme sessions" which will include invited talks by leading researchers in the areas. Satellite Events ---------------- The following satellite events are being planned: A two-day workshop on ************************* * Molecular Computation * ************************* organized by Kamala Krithivasan, Department of Computer Science and Engineering, Indian Institute of Technology, Chennai. A two-day school on *********************** * Finite Model Theory * *********************** jointly organized by Anil Seth, The Institute of Mathematical Sciences, Chennai, India, and Anuj Dawar, Computer Science Department, University of Wales, Swansea, U.K. Invited Speakers who have confirmed participation include: ---------------- Neil Immerman (U Mass, Amherst) Ken McMillan (Cadence Berkeley Labs) Umesh Vazirani (U California, Berkeley) Important dates --------------- Deadline for Submission 15 May, 1998 Notification to Authors 1 August, 1998 Final Version of Accepted Papers due 1 September, 1998 Submission Guidelines --------------------- Authors may submit drafts of full papers or extended abstracts. Submissions are limited to 12 A4-size pages, with 1 inch margins and 11 point or larger font. Authors who feel that more details are necessary may include a clearly marked appendix which will be read at the discretion of the Programme Committee. Each paper should contain a short abstract. If available, e-mail addresses and fax numbers of the authors should be included. Electronic Submissions ---------------------- Electronic submission is **strongly** encouraged. Self-contained uuencoded gzipped Postscript versions of the paper may be sent by e-mail to fsttcs98@imsc.ernet.in In addition, the following information in ASCII format should be sent to this address in a **separate** e-mail: Title; authors; communicating author's name, address, and e-mail address and fax number if available; abstract of paper. Submission via anonymous ftp is also available---details will be posted on the conference homepage. Hard-Copy Submissions --------------------- If neither of the above is possible, authors may submit five (5) hard-copies of the paper by post to the following address: FST&TCS 98 Institute of Mathematical Sciences C.I.T. Campus, Taramani Chennai 600 113, INDIA Conference Proceedings ---------------------- The Conference Proceedings have been traditionally published by Springer-Verlag in the series Lecture Notes in Computer Science (LNCS). (Previous Proceedings have appeared as LNCS ... , 880, 1026, 1180, 1346.) For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference. Programme Committee ------------------- Manindra Agrawal (IIT, Kanpur) V Arvind (IMSc, Chennai) (Co-Chair) Jin-Yi Cai (SUNY, Buffalo) Ramesh Hariharan (IISc, Bangalore) Kamala Krithivasan (IIT, Chennai) Meena Mahajan (IMSc, Chennai) Madhavan Mukund (SMI, Chennai) Mogens Nielsen (BRICS, Aarhus) Tobias Nipkow (TU, Muenchen) C Pandurangan (IIT, Chennai) Rohit Parikh (CUNY, New York) Sanjiva Prasad (IIT, Delhi) Jaikumar Radhakrishnan (TIFR, Mumbai) R Ramanujam (IMSc, Chennai) (Co-chair) S Ramesh (IIT, Mumbai) Abhiram Ranade (IIT, Mumbai) Sandeep Sen (IIT, Delhi) Natarajan Shankar (SRI, California) G Sivakumar (IIT, Mumbai) Aravind Srinivasan (NUS, Singapore) K V Subrahmanyam (SMI, Chennai) K G Subramanian (MCC, Chennai) Moshe Vardi (Rice Univ, Texas) Pascal Weil (CNRS, Paris)} Organizing Committee -------------------- Kamal Lodaya (IMSc, Chennai) Meena Mahajan (IMSc, Chennai) (Co-chair) Madhavan Mukund (SMI, Chennai) (Co-chair) R. Rama (IIT, Chennai) Venkatesh Raman (IMSc, Chennai) Anil Seth (IMSc, Chennai) Conference Site --------------- The Conference will take place in the campus of the Central Institutes of Technology (CIT), Chennai, where the Institute of Mathematical Sciences is located. Correspondence Address ---------------------- All correspondence may be addressed to FST&TCS 98 Institute of Mathematical Sciences C.I.T. Campus, Taramani Chennai 600 113, INDIA Email: fsttcs98@imsc.ernet.in URL: http://www.imsc.ernet.in/fsttcs98 Fax: +91 44 2350586 Phone: +91 44 2351856 -- ****************************************************** Contributions to be spread via DMANET are submitted to DMANET@math.utwente.nl Replies to a message carried on DMANET should NOT be addressed to DMANET but to the original sender. The original sender, however, is invited to prepare an update of the replies received and to communicate it via DMANET. DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)