SOFSEM 2005: Theory and Practice of Computer Science

31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings

  • Peter Vojtáš
  • Mária Bieliková
  • Bernadette Charron-Bost
  • Ondrej Sýkora

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Full Contributed Papers

    1. C. Bazgan, J. Monnot, V. Th. Paschos, F. Serrière
      Pages 62-71
    2. Jiu Jun Chen, Ji Gao, Jun Hu, Bei Shui Liao
      Pages 92-95
    3. Markus Chimani, Gunnar W. Klau, René Weiskircher
      Pages 96-105
    4. Emilio Di Giacomo, Walter Didimo, Luca Grilli, Giuseppe Liotta
      Pages 106-116
    5. Kayhan Erciyeş, Ali Alp, Geoffrey Marshall
      Pages 127-136
    6. Luca Forlizzi, Juraj Hromkovič, Guido Proietti, Sebastian Seibert
      Pages 147-156
    7. Hacène Fouchal, Antoine Rollet, Abbas Tarhini
      Pages 157-166

About these proceedings


This volume contains papers selected for presentation at the 31st Annual C- ference on Current Trends in Theory and Practice of Informatics – SOFSEM 2005, held on January 22–28, 2005 in LiptovskyJ ´ an, ´ Slovakia. The series of SOFSEM conferences, organized alternately in the Czech - public and Slovakia since 1974, has a well-established tradition. The SOFSEM conferences were originally intended to break the Iron Curtain in scienti?c - change. After the velvet revolution SOFSEM changed to a regular broad-scope international conference. Nowadays, SOFSEM is focused each year on selected aspects of informatics. This year the conference was organized into four tracks, each of them complemented by two invited talks: – Foundations of Computer Science (Track Chair: Bernadette Charron-Bost) – Modeling and Searching Data in the Web-Era (Track Chair: Peter Vojt´ a? s) – Software Engineering (Track Chair: M´ aria Bielikova) ´ – Graph Drawing (Track Chair: Ondrej Syk ´ ora) The aim of SOFSEM 2005 was, as always, to promote cooperation among professionalsfromacademiaandindustryworkinginvariousareasofinformatics. Each track was complemented by two invited talks. The SOFSEM 2005 Program Committee members coming from 13 countries evaluated 144 submissions (128 contributed papers and 16 student research - rum papers). After a careful review process (counting at least 3 reviews per paper), followed by detailed discussions in the PC, and a co-chairs meeting held on October 8, 2005 in Bratislava, Slovakia, 44 papers (overall acceptance rate 34.


Erfüllbarkeitsproblem der Aussagenlogik Open Source XML algorithms architecture association rule mining computational discrete mathematics computer science data structures graph computations graph drawing intelligent search modeling theoretical computer science theory of computing

Editors and affiliations

  • Peter Vojtáš
    • 1
  • Mária Bieliková
    • 2
  • Bernadette Charron-Bost
    • 3
  • Ondrej Sýkora
    • 4
  1. 1.Charles UniversityPragueCzech Republic
  2. 2.Institute of Informatics and Software Engineering Faculty of Informatics and Information technologiesSlovak University of TechnologyBratislava 
  3. 3.STIXÉcole PolytechniquePalaiseau CedexFrance
  4. 4.Department of Computer ScienceUniversity of LoughboroughLoughboroughUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-24302-1
  • Online ISBN 978-3-540-30577-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors