From - Sun Nov 2 21:29:17 1997 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.7/8.8.7) with ESMTP id GAA18781; Tue, 23 Sep 1997 06:14:27 -0700 (PDT) Received: from hearnnt.nic.surfnet.nl (hearnnt.nic.surfnet.nl [192.87.5.133]) by CS.Stanford.EDU (8.8.7/8.8.7) with ESMTP id GAA03756; Tue, 23 Sep 1997 06:14:40 -0700 (PDT) Received: from hearnnt (192.87.5.133) by hearnnt.nic.surfnet.nl (LSMTP for Windows NT v1.1a) with SMTP id <0.38327750@hearnnt.nic.surfnet.nl>; Tue, 23 Sep 1997 15:13:17 +0200 Received: from NIC.SURFNET.NL by NIC.SURFNET.NL (LISTSERV release 1.8c) with NJE id 4168 for DMA-LIST@NIC.SURFNET.NL; Tue, 23 Sep 1997 15:14:53 +0200 Received: from HEARN (NJE origin SMTP@HEARN) by HEARN.NIC.SURFNET.NL (LMail V1.2c/1.8c) with BSMTP id 7493; Tue, 23 Sep 1997 15:14:52 +0200 Received: from utmfu6.math.utwente.nl by HEARN.nic.SURFnet.nl (IBM VM SMTP V2R2) with TCP; Tue, 23 Sep 97 15:14:50 +0200 Received: from utmfu0.math.utwente.nl (utmou1.math.utwente.nl) by utmfu6.math.utwente.nl with ESMTP (1.40.112.8/16.2) id AA071010430; Tue, 23 Sep 1997 15:13:51 +0200 Received: by utmfu0.math.utwente.nl ($Revision: 1.36.108.11 $/16.2) id AA223220427; Tue, 23 Sep 1997 15:13:47 +0200 Mailer: Elm [revision: 66.36.1.1] Approved-By: DMANET Message-ID: <199709231313.AA223220427@utmfu0.math.utwente.nl> Date: Tue, 23 Sep 1997 15:13:45 METDST Reply-To: madhavan@imsc.ernet.in Sender: DMANET From: DMANET Subject: FSTTCS 17 Call for Participation To: DMA-LIST@NIC.SURFNET.NL X-Mozilla-Status: 8001 Status: O X-Status: Seventeenth Conference on the FOUNDATIONS OF SOFTWARE TECHNOLOGY & THEORETICAL COMPUTER SCIENCE December 18-20, 1997 Indian Institute of Technology Kharagpur Kharagpur, India Organised by: Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Kharagpur 721302 INDIA. General Information: The seventeenth Conference on Foundations of Software Technology and Theoretical Computer Science (FST & TCS17) will be held at Kharagpur. This annual conference provides a platform for presentation of original research results in fundamental aspects of computer science. It also provides an excellent forum for meeting and exchanging ideas with people who are at the frontline of software technology and theoretical computer science. The proceedings of this conference are published by Springer Verlag in the series Lecture Notes in Computer Science. The conference will be preceeded by a two-day workshop (December 16-17, 1997) on Randomized Algorithms. This year's conference and workshop will be organised by the Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, India. The registration form and travel/accommodation information are included in this brochure. Contact Address: Prof. S.C. DeSarkar, Chair, Organizing Committee, Dept. of Computer Science & Engineering, Indian Institute of Technology, Kharagpur, INDIA 721302. E-mail: fsttcs17@cse.iitkgp.ernet.in Home Pages: http://iitkgp.allindia.com/fsttcs17 http://www.iitkgp.ernet.in/fsttcs17 Phone: ++91-3222-55221 to 55224 ++91-3222-77390 to 77393 Extn: 4707, 4701 (Off.) Fax: ++91-3222-55303 Important Deadlines: Advanced Registration: 20th November, 1997 Accommodation Request: 20th November, 1997 PROGRAMME Thursday, December 18, 1997 08:30-09:30 Registration 09:30-10:30 Invited Talk 1 Chair: Venkatesh Raman (IMSc, Chennai) Vijaya Ramachandran (Univ. Texas, Austin, USA) QSM: A general-purpose shared memory model for parallel computation 10:30-11:00 Tea 11:00-12:30 Session 1 Chair: Ashok Subramanian (IISc, Bangalore) T.K. Dey (IIT Kharagpur), A. Roy} (IIT Kharagpur), N.R. Shah (Mentor Graphics, USA) Approximating geometric domains through topological triangulations S. Mahajan (LSI Logic, USA), E. Ramos (MPI, Germany), K.V. Subrahmanyam (SMI, Chennai) Solving some discrepancy problems in NC K. Cirino (Northeastern Univ., USA), S. Muthukrishnan (Lucent Technologies, USA), N. Narayanaswamy (IISc, Bangalore), H. Ramesh (IISc, Bangalore) Graph editing to bipartite interval graphs: Exact and asymptotic bounds 12:30-14:00 Lunch 14:00-15:00 Invited Talk 2 Chair: Paritosh Pandya (TIFR, Mumbai) Edmund Clarke Jr. (Carnegie-Mellon Univ., USA) Model checking 15:00-15:30 Tea 15:30-17:00 Session 2 Chair: A.K. Pujari (Univ. of Hyderabad) A. Kfoury (Boston Univ., USA) Recursion versus iteration at higher orders A. Gordon (Cambridge Univ., UK), P. Hankin (Cambridge Univ., UK) S. Lassen (BRICS, Denmark) Compilation and equivalence of imperative objects M. Marchiori (CWI, Netherlands) On the expressive power of rewriting Friday, December 19, 1997 09:00-10:00 Invited Talk 3 Chair: C. Pandu Rangan (IIT Chennai) Deepak Kapur (State Univ. of NY, Albany, USA) Mechanizing Verification of Arithmetic Circuits 10:00-11:00 Session 3 Chair: Vijay Chandru (IISc, Bangalore) E. Pontelli, D. Ranjan, G. Gupta (New Mexico State Univ., USA) On the complexity of parallel implementation of logic programs Jia-Huai You, Li-Yan Yuan, Randy Goebel (Univ. Alberta, Canada) An abductive semantics for disjunctive logic programs and its proof procedure 11:00-11:30 Tea 11:30-12:30 Session 4 Chair: Manindra Agrawal (IIT Kanpur) S. Mohalik, R. Ramanujam (IMSc, Chennai) Assumption-Commitment in automata S. Kulkarni, A. Arora (Ohio State Univ., USA) Design of multitolerant repetitive Byzantine agreement 12:30-14:00 Lunch 14:00-15:00 Invited Talk 4 Chair: Tamal Dey (IIT Kharagpur) Madhu Sudan (LCS, MIT, USA) Algorithmic issues in error-correcting codes 15:00-15:30 Tea 15:30-17:00 Session 5 Chair: Sandeep Sen (IIT Delhi) A. Seth (IMSc, Chennai) Sharper results on the expressive power of generalized quantifiers N.V. Vinodchandran (IMSc, Chennai) Improved lowness results for solvable black-box group problems V. Arvind (IMSc, Chennai), J. Koebler (Univ. Ulm, Germany) On resource-bounded measure and pseudorandomness 17:30 Business Meeting 19:30 Conference Dinner Saturday, December 20, 1997 09:00-10:00 Invited Talk 5 Chair: R. K. Shyamasundar (TIFR, Mumbai) Moshe Vardi (Rice Univ., USA) Verification of open systems 10:00-11:00 Session 6 Chair: Ashis Mukhopadhyay (IIT Kanpur) F. de Boer (Utrecht Univ., Netherlands), U. Hannemann, W-P. de Roever (U. Kiel, Germany) Hoare-style compositional proof systems for reactive shared variable concurrency K. Namjoshi (Univ. Texas, Austin, USA) A simple characterization of stuttering bisimulation 11:00-11:30 Tea 11:30-13:00 Session 7 Chair: Madhavan Mukund (SMI, Chennai) R. Devillers (Univ. Libre de Bruxelles, Belgium), H. Klaudel (Univ. Paris-XII, France), R. Riemann (Univ. Paris-Sud, France) General refinement for high level Petri nets C. Dufourd, A. Finkel (ENS de Cachan, France) Polynomial-time many-one reductions for Petri nets B. Graves (Univ. Hildesheim, Germany) Computing reachability properties hidden in finite net unfoldings 13:00 Closing session 13:30 Lunch PRE-CONFERENCE WORKSHOP ON RANDOMIZED ALGORITHMS Dates: 16-17, December, 1997 Venue: IIT Kharagpur List of Speakers: Aravind Srinivasan (National University of Singapore) Scheduling and load-balancing via randomization Vijaya Ramachandran (The University of Texas at Austin). Randomized Parallel Algorithms Madhu Sudan (M.I.T.) Randomization in Algebraic Algorithms. Sandeep Sen (Indian Institute of Technology, Delhi, India.) Randomized algorithms in Computational geometry. Edgar Ramos (Max Planck Institute, Saarbrucken, Germany Randomized incremental geometric algorithms in external-memory. ---------------------------------------------------------------------- REGISTRATION The registration fees for the conference are as follows: Dates General Student Before Nov. 20 $ 125 $ 75 After Nov. 20 $ 150 $ 100 Registration fee for the conference includes a copy of the conference proceedings, lunch on the days of the conference. Student registration fee does not include the conference proceedings. IARCS student members do not have any registration fee. Please fill up the following information and send it before November 20, 1997. Name : Nationality : Date of Birth : Place of Birth : Present Address : Permanent Address : Passport Number : Date of Issue : Place of Issue : Expiration Date : ---------------------------------------------------------------------- REGISTRATION FORM (Conference & Workshop) Please complete the following form and mail it along with your draft to: Prof. S. C. De Sarkar (FSTTCS17) Dept. of Computer Sc. and Engineering I.I.T. Kharagpur, India 721302. Phone (91) (03222) 55221 to 55224 (Ext. 4707) e-mail: fsttcs17@cse.iitkgp.ernet.in Please make your Demand-Draft in favour of FST&TCS, KHARAGPUR payable at Calcutta, India. Name: Affiliation: Mailing Address: Phone: Fax: Registration Details (Please Tick) General Student Before Nov. 20 After Nov. 20 Conference Workshop ---------------------------------------------------------------------- ACCOMMODATION Request for accommodation must be sent before November 20, 1997. Accommodation required: Yes No Guest House Preference (choose at most 2)}: Approximate rates and types of rooms at the guest houses are given later in this brochure. Institute Guest House: Single Shared CEP Guest House Alumni Guest House Dates: From: To: Food Preference: Vegetarian Non-Vegetarian Bank Draft Details Draft Number: Date: Amount: Drawn on (Bank, Branch): Signature: Date: ---------------------------------------------------------------------- Travel and Miscellaneous Information The Indian Institute of Technology Kharagpur is one of the leading technological institutes in India. Located at a distance of 120 km from Calcutta, it has a large lush green campus. In general, the winter climate at Kharagpur is pleasant with temperatures in the range of 12-20 degree celcius. Generally it does not rain during this time of the year. Here is some information on how to reach Kharagpur and on the accomodation arrangements: I. TRAVEL: Kharagpur is at a distance of 120 km from Calcutta, a major city in the eastern part of India. Travellers from abroad may come to Calcutta by air. Some of the well known airlines which serve Calcutta airport directly include Air India, British Airways, KLM, Air Jordan, Thai Airlines, Singapore Airlines, Tarom, and Aeroflot. Kharagpur is the largest junction of the South Eastern Railway and is therefore well connected by the Indian Railways. There are direct trains from all parts of the country which pass through Kharagpur. There are also frequent trains from Howrah station (which is the main railway station of Calcutta) to Kharagpur. If you arrive at Calcutta by air, then it is best to take a pre-paid taxi from the airport to Howrah station and then take a train to Kharagpur. The Indian Institute of Technology Campus is at a distance of 5 km from the railway station. Taxis and autos are available at the railway station. Detailed train timings and arrangements related to travel guidance will be sent on intimation of participation by e-mail/post. II. ACCOMMODATION: There are several guest houses in the campus. Accomodation arrangements for this conference are being made in these guest houses at the following rates. Guest House Aprox. Rate Institute Guest House: (Double Room) Single occupancy: Rs 300. Shared: Rs 150. CEP Guest House: Double Room (shared): Rs 60. Alumni Guest House: Rs 45. Kindly let us know your travel plans early so that we can make necessary arrangements for your accomodation. Program Committee: Manindra Agrawal (IIT Kanpur) Ralph Back (Abo Akademi, Finland) John Case (U. Delaware) Vijay Chandru (IISc Bangalore) Joxan Jaffar (NUS, Singapore) Nachum Dershowitz (UIUC, Illinois) Tamal K. Dey (IIT Kharagpur) Anna Gal (Princeton) Asish Mukhopadhyay (IIT Kanpur) Madhavan Mukund (SMI Madras) Ketan Mulmuley (IIT Bombay/U.Chicago) C. Pandurangan (IIT Madras) P. K. Pandya (TIFR Bombay) A. K. Pujari (U. Hyd., Hyderabad) Vijaya Ramachandran (U. Texas) Krithi Ramamritham (U. Mass.) Venkatesh Raman (IMSc Madras) S. Ramesh (IIT Bombay) (Co-chair) Bala Ravikumar (U. Rhode Island) Willem de Roever (Kiel University) Sandeep Sen (IIT Delhi) R. K. Shyamasundar (TIFR Bombay) G. Sivakumar (IIT Bombay)(Co-chair) Ashok Subramanian (IISc Bangalore) Organizing Committee: A. Bagchi (IIM Calcutta) P. P. Chakrabarti (IIT Kharagpur) (Treasurer) M. K. Chakraborty (Calcutta Univ.) P. P. Das (IIT Kharagpur) P. Dasgupta (IIT Kharagpur) G. L. Datta (IIT Kharagpur) S. C. De Sarkar (IIT Kharagpur) (Chair) T. K. Dey (IIT Kharagpur) (Convener) A. Pal (IIT Kharagpur) S. P. Pal (IIT Kharagpur) S. K. Sarangi (IIT Kharagpur) D. Sarkar (IIT Kharagpur) B. P. Sinha (ISI Calcutta) Publicity Chair: Madhavan Mukund (SMI Madras) -- ****************************************************** 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)