FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science | 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings

Paritosh K Pandya (u. a.)

ISBN 10: 3540206809 / ISBN 13: 9783540206804

Published by Springer, 2003

About this Item

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science | 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings | Paritosh K Pandya (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540206804 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Seller Inventory # 102480724

Bibliographic Details

• Title: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science | 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings
• Publisher: Springer
• Publication Date: 2003
• Language: English
• ISBN 10: 3540206809
• ISBN 13: 9783540206804
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 25D millimeters 235 millimeters width by 155 millimeters height by 25 millimeters depth
• Weight: 698 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

Over the past two decades, the Foundations of Software Technology and Th- retical Computer Science (FSTTCS) conferences have been providing an - nual forum in India for the presentation and publication of results in computer science from around the world. This volume contains the proceedings of the 23rd FSTTCS, organized under the aegis of the Indian Association for Research in Computing Science (IARCS). FSTTCS 2003 attracted over 160 submissions from 29 countries. After obt- ning521refereereportswithinaperiodofonemonth, theprogrammecommittee accepted33contributedpapers, themaximumthatcould?tintoatwo-and-ha- day programme. Unfortunately, many good papers had to be turned away. We thankalltheauthorsforsubmittingtheirpaperstoFSTTCS2003.Wethankthe reviewers for the tremendous support they provided to the conference through theirinformedandthoroughreviewsofthepapers.Wesincerelythankthem- bers of the programme committee for lending their names to the conference and for meeting the challenge arising out of the increased number of submissions this year. We are especially grateful to Kamal Lodaya who came down to Mumbai to assist us during the PC meeting. FSTTCS programmes have always featured highly eminent computer sci- tists as invited speakers. It is our great pleasure to thank the invited speakers of FSTTCS 2003, Randal Bryant, Moni Naor, Joseph Sifakis, Osamu Wat- abe and Avi Wigderson, who graciously agreed to speak at the conference and contribute to this volume. For several years now, topical workshops have been organized together with FSTTCS conferences. This year, the conference was preceded by a workshop on Advances in Model Checking, and was followed by a workshop on Algorithms for ProcessingMassiveDataSets.Wethanktheorganizersandspeakersforagreeing to come and share their expertise.