Perspectives of Systems Informatics

6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

  • Editors
  • Irina Virbitskaite
  • Andrei Voronkov
Conference proceedings PSI 2006

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf
      Pages 1-18
    2. Victor Ivannikov
      Pages 19-19
    3. K. Rustan M. Leino
      Pages 20-20
  3. Regular Papers

    1. Sergei Abramov, Robert Glück, Yuri Klimov
      Pages 27-40
    2. Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
      Pages 41-54
    3. Sören Auer, Heinrich Herre
      Pages 55-69
    4. Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch et al.
      Pages 98-111
    5. Nieves R. Brisaboa, Antonio Fariña, Miguel R. Luaces, José R. Paramá
      Pages 112-123
    6. Nieves R. Brisaboa, Antonio Fariña, Gonzalo Navarro, José R. Paramá
      Pages 124-134
    7. Mark Buckley, Christoph Benzmüller
      Pages 135-147
    8. Gabriel Ciobanu, Vladimir A. Zakharov
      Pages 148-165
    9. Alberto de la Encina, Luis Llana, Fernando Rubio
      Pages 195-208
    10. Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann
      Pages 209-222

About these proceedings

Introduction

This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), held in Akademgorodok (Novosibirsk, Russia), June 27-30, 2006. The conference was held to honour the 75th anniversary of a member of the Russian Academy of Sciences Andrei Ershov (1931–1988) and his outsta- ing contributions towards advancing informatics. The role of Andrei Ershov in the establishment and development of the theory of programming and systems programming in our country cannot be overestimated. Andrei was one of the founders of the Siberian Computer Science School. He guided and took active part in the development of the programming system ALPHA and the mul- language system BETA, and authored some of the most remarkable results in the theoryofprogramming. Andreiisjustly consideredoneofthefoundersofthe theory of mixed computation. In 1974 he was nominated as Distinguished F- low of the British Computer Society. In 1981 he received the Silver Core Award for services rendered to IFIP. Andrei Ershov’s brilliant speeches were always in the focus of public attention. Especially notablewerehis lectures “Aesthetic and HumanFactorinProgramming”and“Programming—TheSecondLiteracy. ”He was not only an extremely gifted scientist, teacher and ?ghter for his ideas, but also a bright and many-sided personality. He wrote poetry, translated the works of R. Kipling and other English poets, and enjoyed playing guitar and singing. Everyone who had the pleasure of knowing Andrei Ershov and working with him will always remember his great vision, eminent achievements and generous friendship.

Keywords

Resolution Unified Modeling Language (UML) algorithms automata classificiation component-based systems constraint programming databases debugging digital libraries metamodeling model checking process algebras programming semantics

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-70881-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-70880-3
  • Online ISBN 978-3-540-70881-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book