SOFSEM’99: Theory and Practice of Informatics

26th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 27 — December 4, 1999 Proceedings

  • Jan Pavelka
  • Gerard Tel
  • Miroslav Bartošek
Conference proceedings SOFSEM 1999

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

Table of contents

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

    1. Trends in Theory

    2. Core Technologies

      1. Wolfgang Appelt
        Pages 66-78
      2. Christian Bac, Guy Bernard, Didier Le Tien, Olivier Villin
        Pages 79-94
      3. Noemi Rodriguez, Roberto Ierusalimschy
        Pages 95-111
      4. S. Doaitse Swierstra, Pablo R. Azero Alcocer
        Pages 112-131
    3. Software and Information Engineering

      1. Paolo Atzeni
        Pages 150-162
      2. Juan C. Bicarregui
        Pages 163-180
      3. Max H. Garzon, 1Russell J. Deaton, The Molecular Computing Group
        Pages 181-188
      4. Václav Rajlich
        Pages 189-202
      5. P. M. A. Sloot, J. A. Kaandorpa, A. G. Hoekstra, B. J. Overeinder
        Pages 203-248
    4. From Data to Knowledge

      1. Alejandro P. Buchmann, Ming-Chuan Wu
        Pages 249-260
      2. Max H. Garzon, The Tutoring Research Group
        Pages 261-263
      3. Dan Roth, Dmitry Zelenko
        Pages 264-276
    5. Applications

      1. Martin Bogdan, Wolfgang Rosenstiel
        Pages 277-294
      2. Cyril Allauzen, Maxime Crochemore, Mathieu Raffinot
        Pages 295-310
  3. Contributed Papers

    1. M. Alpuente, S. Escobar, S. Lucas
      Pages 331-339
    2. Andris Ambainis, Richard Bonner, Rūsiņš Freivalds, Marats Golovkins, Marek Karpinski
      Pages 340-348
    3. Ivana Černá, Ondřej Klíma, Jiří Srba
      Pages 369-378
    4. Pablo Galdámez, Francesc D. Muñoz-Escoí, José M. Bernabéu-Aubán
      Pages 379-387
    5. Anna Gambin, Adam Malinowski
      Pages 387-394
    6. Petr Jančar, Faron Moller, 1Zdeněk Sawa
      Pages 404-413
    7. Maksim Kravtsev
      Pages 431-440
    8. Heiko Schröder, Ondrej Sýykoa, Imrich Vrt’o
      Pages 449-458
    9. Jiří Šíma, Pekka Orponen, Teemu Antti­Poika
      Pages 459-469
    10. Jiří Wiedermann
      Pages 479-487
  4. Back Matter
    Pages 497-498

About these proceedings


This year the SOFSEM conference is coming back to Milovy in Moravia to th be held for the 26 time. Although born as a local Czechoslovak event 25 years ago SOFSEM did not miss the opportunity oe red in 1989 by the newly found freedom in our part of Europe and has evolved into a full-?edged international conference. For all the changes, however, it has kept its generalist and mul- disciplinarycharacter.Thetracksofinvitedtalks,rangingfromTrendsinTheory to Software and Information Engineering, attest to this. Apart from the topics mentioned above, SOFSEM’99 oer s invited talks exploring core technologies, talks tracing the path from data to knowledge, and those describing a wide variety of applications. TherichcollectionofinvitedtalkspresentsonetraditionalfacetofSOFSEM: that of a winter school, in which IT researchers and professionals get an opp- tunity to see more of the large pasture of today’s computing than just their favourite grazing corner. To facilitate this purpose the prominent researchers delivering invited talks usually start with a broad overview of the state of the art in a wider area and then gradually focus on their particular subject.


Algorithms CORBA Cellular Automata Computer Information Management Learning Middleware Programming Theory Software Engineering Theoretical Computer Science automata database optimization petri net programming

Editors and affiliations

  • Jan Pavelka
    • 1
  • Gerard Tel
    • 2
  • Miroslav Bartošek
    • 3
  1. 1.DCIT, s.r.oPrague 6Czech Republic
  2. 2.Department of Computer ScienceUniversity of UtrechtUtrechtThe Netherlands
  3. 3.Institute of Computer ScienceMasaryk UniversityBrnoCzech Republic

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66694-3
  • Online ISBN 978-3-540-47849-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
IT & Software