LATIN 2002: Theoretical Informatics 5th Latin American Symposium Can
This book constitutes the refereed proceedings of the 5th International Symposium, Latin American Theoretical Informatics, LATIN 2002, held in Cancun, Mexico, in April 2002. The 44 revised full papers presented together with a tutorial and 7 abstracts of
- PDF / 8,625,958 Bytes
- 642 Pages / 648 x 864 pts Page_size
- 91 Downloads / 257 Views
2286
3
Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo
Sergio Rajsbaum (Ed.)
LATIN 2002: Theoretical Informatics 5th Latin American Symposium Cancun, Mexico, April 3-6, 2002 Proceedings
13
Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editor Sergio Rajsbaum Compaq Cambridge Research Laboratory One Cambridge Center Cambridge, MA 02142-1612 USA E-mail: [email protected]
Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Theoretical informatics : proceedings / LATIN 2002, 5th Latin American Symposium, Cancun, Mexico, April 3 - 6, 2002. Sergio Rajsbaum (ed.). Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer, 2002 (Lecture notes in computer science ; Vol. 2286) ISBN 3-540-43400-3
CR Subject Classification (1998): F.2, F.1, E.1, E.3, G.2, G.1, I.3.5, F.3, F.4 ISSN 0302-9743 ISBN 3-540-43400-3 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH http://www.springer.de © Springer-Verlag Berlin Heidelberg 2002 Printed in Germany Typesetting: Camera-ready by author, data conversion by Boller Mediendesign Printed on acid-free paper SPIN: 10846327 06/3142 543210
Invited Presentations
Tutorials From Algorithms to Cryptography Fabrizio Luccio and Linda Pagli Algebraic Topology and Concurrency Eric Goubault Maurice Herlihy Martin Raussen
Universit` a di Pisa, Italy
Commissariat a` l’´energie atomique, France Brown University, USA Aalborg University, Denmark
Invited Talks Phase Transitions in Computer Science Jennifer Chayes
Microsoft Research, USA
The Internet, the Web, and Algorithms Christos H. Papadimitriou
UC Berkeley, USA
Erd˝ os Magic Joel Spencer
Courant Institute, USA
Open Problems in Computational Geometry Jorge Urrutia
Instituto de Matem´ aticas, UNAM, M´exico
Quantum Algorithms and Complexity Umesh Vazirani
UC Berkeley, USA
Testing and Checking of Finite State Systems Mihalis Yannakakis
Avaya Laboratories, USA
Preface
This volume contains the proceedings of the Latin American Theoretical INformatics (LATIN) conference to be held in Cancun, Mexico, April 3–6, 2002. The LATIN series of symposia was launched in 1992 to foster the interaction between the Latin-American community and co
Data Loading...
