Exploring New Frontiers of Theoretical Informatics

IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science (TCS2004) 22–27 August 2004 Toulouse, France

  • Jean-Jacques Levy
  • Ernst W. Mayr
  • John C. Mitchell
Conference proceedings

Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 155)

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Invited talks

  3. Track (1) on Algorithms, Complexity, and Models of Computation

    1. Ilia Toli, Alberto Zanoni
      Pages 23-36
    2. Zhaohui Cheng, Richard Comley, Luminita Vasiu
      Pages 37-50
    3. An Braeken, Christopher Wolf, Bart Preneel
      Pages 51-66
    4. Toshio Suzuki, Tomoyuki Yamakami
      Pages 81-96
    5. Holger Spakowski, Rahul Tripathi
      Pages 97-110
    6. Omer Egecioglu, Oscar H. Ibarra
      Pages 125-138
    7. Hagit Attiya, David Hay
      Pages 139-152
    8. Paola Flocchini, Antonio Mesa Enriques, Linda Pagli, Giuseppe Prencipe, Nicola Santoro
      Pages 153-166
    9. G. Melideo, P. Penna, G. Proietti, R. Wattenhofer, P. Widmayer
      Pages 167-180
    10. S. Baehni, R. Baldoni, R. Guerraoui, B. Pochon
      Pages 181-194
    11. Roman Dementiev, Peter Sanders, Dominik Schultes, Jop Sibeyn
      Pages 195-208
    12. Mark Cieliebak, Thomas Erlebach, Fabian Hennecke, Birgitta Weber, Peter Widmayer
      Pages 209-222
    13. Aleksei V. Fishkin, Olga Gerber, Klaus Jansen
      Pages 237-250
    14. Satoko Mamada, Takeaki Uno, Kazuhisa Makino, Satoru Fujishige
      Pages 251-264
    15. Costas S. Iliopoulos, Christos Makris, Yannis Panagis, Katerina Perdikuri, Evangelos Theodoridis, Athanasios Tsakalidis
      Pages 265-278
    16. Hiro Ito, Kazuo Iwama, Takeyuki Tamura
      Pages 279-292
    17. Amr Elmasry
      Pages 307-316
    18. L. Colussi, G. Filè, A. Griggio
      Pages 317-331
  4. Track (2) on Logic, Semantics, Specification, and Verification

    1. Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz
      Pages 333-347
    2. Zhiming Liu, He Jifeng, Xiaoshan Li
      Pages 349-366
    3. Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari
      Pages 367-380
    4. Iovka Boneva, Jean-Marc Talbot
      Pages 381-394
    5. O. Bournez, F. Cucker, P. de Jacobe Naurois, J. -Y. Marion
      Pages 409-422
    6. Davide Ancona, Sonia Fagorzi, Elena Zucca
      Pages 423-436
    7. Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker
      Pages 437-450
    8. Lorenzo Bettini, Viviana Bono, Betti Venneri
      Pages 451-464
    9. Deepak Garg, Akash Lal, Sanjiva Prasad
      Pages 479-492
    10. Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski
      Pages 493-506
    11. Petr Jančar, Jiři Srba Brics
      Pages 507-520
    12. Glynn Winskel, Francesco Zappa Nardelli
      Pages 521-534
    13. Sergio Maffeis, Philippa Gardner
      Pages 535-548
    14. Massimo Merro, Francesco Zappa Nardelli
      Pages 549-562
    15. Roberto Bruni, Hernán Melgratti, Ugo Montanari
      Pages 563-576
    16. Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
      Pages 577-590
    17. Torben Amtoft, Henning Makholm, J. B. Wells
      Pages 591-604
    18. Yuxin Deng, Davide Sangiorgi
      Pages 619-632
    19. Jules Desharnais, Bernhard Möller, Georg Struth
      Pages 647-660

About these proceedings


Exploring New Frontiers of Theoretical Informatics

Edited by Jean-Jacques Levy, Ernst W. Mayr, and John C. Mitchell

In recent years, IT application scenarios have evolved in very innovative ways. Highly distributed networks have now become a common platform for large-scale distributed programming, high bandwidth communications are inexpensive and widespread, and most of our work tools are equipped with processors enabling us to perform a multitude of tasks. In addition, mobile computing (referring specifically to wireless devices and, more broadly, to dynamically configured systems) has made it possible to exploit interaction in novel ways.

To harness the flexibility and power of these rapidly evolving, interactive systems, there is need of radically new foundational ideas and principles; there is need to develop the theoretical foundations required to design these systems and to cope with the many complex issues involved in their construction; and there is need to develop effective principles for building and analyzing such systems.

Reflecting the diverse and wide spectrum of topics and interests within the theoretical computer science community, Exploring New Frontiers of Theoretical Informatics is presented in two distinct but interrelated tracks:

-Algorithms, Complexity and Models of Computation,
-Logic, Semantics, Specification and Verification.

Exploring New Frontiers of Theoretical Informatics contains 46 original and significant contributions addressing these foundational questions, as well as four papers by outstanding invited speakers. These papers were presented at the 3rd IFIP International Conference on Theoretical Computer Science (TCS 2004), which was held in conjunction with the 18th World Computer Congress in Toulouse, France in August 2004 and sponsored by the International Federation for Information Processing (IFIP).


algorithms complexity computer computer science information processing programming verification

Editors and affiliations

  • Jean-Jacques Levy
    • 1
  • Ernst W. Mayr
    • 2
  • John C. Mitchell
    • 3
  1. 1.INRIAFrance
  2. 2.Technische Universität MünchenGermany
  3. 3.Stanford UniversityUSA

Bibliographic information

  • DOI
  • Copyright Information Springer Science + Business Media, Inc. 2004
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4020-8140-8
  • Online ISBN 978-1-4020-8141-5
  • Series Print ISSN 1571-5736
  • Buy this book on publisher's site