SOFSEM 2001: Theory and Practice of Informatics

28th Conference on Current Trends in Theory and Practice of Informatics Piešt’any, Slovak Republic, November 24 – December 1, 2001 Proceedings

  • Leszek Pacholski
  • Peter Ružička
Conference proceedings SOFSEM 2001

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Talks

  3. Contributed Papers

    1. Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski
      Pages 160-170
    2. Martin Beran
      Pages 171-180
    3. Richard Bonner, Rūsiņš Freivalds, Maksim Kravtsev
      Pages 181-190
    4. Luboš Brim, Ivana Černá, Pavel Krčál, Radek Pelánek
      Pages 191-200
    5. Luboš Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Křetíynskí
      Pages 201-210
    6. Henning Fernau
      Pages 223-232
    7. Rūsinņš Freivalds, Andreas Winter
      Pages 233-242
    8. Prasad Jayanti, King Tan, Gregory Friedland, Amir Katz
      Pages 261-270
    9. András Kocsor, János Csirik
      Pages 271-281
    10. Rastislav Královič
      Pages 282-291
    11. Richard Král’ovič
      Pages 292-303
    12. Tomas Plachetka, Olaf Schmidt, Frank Albracht
      Pages 304-315
    13. Martin Plátek
      Pages 316-325
    14. Zdeněk Sawa, Petr Jančar
      Pages 326-335
  4. Keynote Talk

    1. Vaughan R. Pratt
      Pages 336-345
  5. Back Matter
    Pages 347-347

About these proceedings


SOFSEM 2001, the International Conference on Current Trends in Theory and Practice of Informatics, was held on November 24 – December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic. This was the 28th annual conference in the SOFSEM series organized either in the Slovak or the Czech Republic. SOFSEM has a well-established tradition. Currently it is a broad, multid- ciplinary conference, devoted to the theory and practice of software systems. Its aim is to foster cooperation among professionals from academia and industry working in various areas of informatics. The scienti?c program of SOFSEM consists of invited talks, which determine the topics of the conference, and short contributed talks presenting original - sults. The topics of the invited talks are chosen so as to cover the whole range from theory to practice and to bring interesting research areas to the attention of conference participants. For the year 2001, the following three directions were chosen for presentation by the SOFSEM Steering Committee: – Trends in Informatics – Enabling Technologies for Global Computing – Practical Systems Engineering and Applications The above directions were covered through 12 invited talks presented by pro- nent researchers. There were 18 contributed talks, selected by the international Program Committee from among 46 submitted papers. The conference was also accompanied by workshops on Electronic Commerce Systems (coordinated by H. D. Zimmermann) and Soft Computing (coordinated by P. H´ajek).


Algorithms Biocomputing Complexity Discrete Mathematics Distributed Systems Formal Methods Grid Computing Hardware Informatics Intelligent Information Processing Network Computing automata design robot verification

Editors and affiliations

  • Leszek Pacholski
    • 1
  • Peter Ružička
    • 2
  1. 1.Institute of Computer ScienceUniversity of WroclawWroclawPoland
  2. 2.Fac. of Mathematics, Physics, and Informatics, Inst. of InformaticsComenius Univ.BratislavaSlovakia

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42912-8
  • Online ISBN 978-3-540-45627-8
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site