FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science

21st Conference Bangalore, India, December 13–15, 2001 Proceedings

  • Ramesh Hariharan
  • V. Vinay
  • Madhavan Mukund
Conference proceedings FSTTCS 2001

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2245)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Papers

  3. Contributed Papers

    1. Manindra Agrawal
      Pages 70-82
    2. Richard Anderson, Sampath Kannan, Howard Karloff, Richard E. Ladner
      Pages 83-95
    3. Luboš Brim, Ivana Černá, Pavel Krčál, Radek Pelánek
      Pages 96-107
    4. Cristiano Calcagno, Hongseok Yang, Peter W. O’Hearn
      Pages 108-119
    5. Jianer Chen, Donald K. Friesen, Weijia Jia, Iyad A. Kanj
      Pages 120-131
    6. Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro
      Pages 132-143
    7. Dana Fisman, Amir Pnueli
      Pages 156-170
    8. Jürgen Forster, Matthias Krause, Satyanarayana V. Lokam, Rustam Mubarakzjanov, Niels Schmitt, Hans Ulrich Simon
      Pages 171-182
    9. Andreas Jakoby, Christian Schindelhauer
      Pages 219-231
    10. Radha Krishnan, Balaji Raghavachari
      Pages 232-243
    11. Tamás Lukovszki, Anil Maheshwari, Norbert Zeh
      Pages 244-255
    12. P. Madhusudan, B. Meenakshi
      Pages 256-267
    13. Mogens Nielsen, Vladimiro Sassone, Jiří Srba
      Pages 280-291
    14. Doron Peled, Amir Pnueli, Lenore Zuck
      Pages 292-304
    15. Amir Pnueli, Yoav Rodeh, Ofer Shtrichman
      Pages 317-333
  4. Back Matter
    Pages 347-347

About these proceedings


This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the auspices of the Indian Association for Research in Computing Science (IARCS). This year’s conference attracted 73 submissions from 20 countries. Each s- mission was reviewed by at least three independent referees. In a departure from previous conferences, the ?nal selection of the papers making up the program was done through an electronic discussion spanning two weeks, without a physical meeting of the Program Committee (PC). Since the PC of FSTTCS is distributed across the globe, it is very di?cult to ?x a meeting whose time and venue is convenient for a substantial fraction of the PC. Given this, it was felt that an electronic discussion would enable all members to participate on a more equal footing in the ?nal selection. All reviews, scores, and comments were posted on a secure website, with a mechanism for making updates and automatically sending noti?cations by email to relevant members of the PC. All PC members participated actively in the discussion. The general feedback on the arrangement was very positive, so we hope to continue this in future years. We had ?ve invited speakers this year: Eric Allender, Sanjeev Arora, David Harel, Colin Stirling, and Uri Zwick. We thank them for having readily accepted our invitation to talk at the conference and for providing abstracts (and even full papers) for the proceedings.


algorithm algorithms complexity computer computer science data structure data structures formal verification logic model checking petri net verification

Editors and affiliations

  • Ramesh Hariharan
    • 1
  • V. Vinay
    • 1
  • Madhavan Mukund
    • 2
  1. 1.Department of Computer Science and AutomationIndian Institute of ScienceBangaloreIndia
  2. 2.Chennai Mathematical InstituteChennaiIndia

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43002-5
  • Online ISBN 978-3-540-45294-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site