Advertisement

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
    11. Kees van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve
      Pages 235-247
    12. Margarita Korovina, Nicolai Vorobjov
      Pages 260-269
    13. Cornelis H. A. Koster, Jean G. Beney
      Pages 270-283
    14. Olga Kouchnarenko, Arnaud Lanoix
      Pages 297-309
    15. Sebastian Link, Klaus-Dieter Schewe, Jane Zhao
      Pages 310-321
    16. Torben Ægidius Mogensen
      Pages 322-334
    17. Saeed Parsa, Shahriar Lotfi
      Pages 335-348
    18. Stefan Sarstedt, Walter Guttmann
      Pages 349-362
    19. N. V. Shilov, N. O. Garanina
      Pages 363-376
    20. Sangmun Shin, Yi Guo, Yongsun Choi, Myeonggil Choi, Charles Kim
      Pages 377-388
    21. Phiniki Stouppa, Thomas Studer
      Pages 400-408
    22. Ola Svensson, Sergei Vorobyov
      Pages 409-423
  4. Short Papers

    1. Sören Auer, Heinrich Herre
      Pages 424-430
    2. Dmitri Boulytchev
      Pages 431-437
    3. Clemens Grelck, Sven-Bodo Scholz, Alex Shafarenko
      Pages 451-455
    4. Alexey Grinevich, Alexey Khoroshilov, Victor Kuliamin, Denis Markovtsev, Alexander Petrenko, Vladimir Rubanov
      Pages 456-466
    5. Sergey Lukichev, Gerd Wagner
      Pages 467-473
    6. Alejandro Russo, Andrei Sabelfeld
      Pages 474-480
    7. Yury Zagorulko, Jawed Siddiqi, Babak Akhgar, Olesya Borovikova
      Pages 487-494
  5. Back Matter

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
  • Buy this book on publisher's site