SOFSEM 2013: Theory and Practice of Computer Science

39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

  • Peter van Emde Boas
  • Frans C. A. Groen
  • Giuseppe F. Italiano
  • Jerzy Nawrocki
  • Harald Sack

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Major Achievements in Software Studies

      1. Ernie Cohen, Wolfgang Paul, Sabine Schmaltz
        Pages 1-27
      2. Frantisek Plasil, Tomas Bures
        Pages 28-28
    2. Foundations of Computer Science

      1. Peter Sanders
        Pages 29-32
      2. Gerhard J. Woeginger
        Pages 33-50
    3. Software and Web Engineering

      1. Carsten Kolassa, Dirk Riehle, Michel A. Salim
        Pages 52-66
    4. Data, Information and Knowledge Engineering

      1. Michel Buffa, Nicolas Delaforge, Guillaume Erétéo, Fabien Gandon, Alain Giboin, Freddy Limpens
        Pages 67-85
    5. Social Computing and Human Factors

  3. Regular Papers

    1. Foundations of Computer Science

      1. Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir
        Pages 108-120
      2. Andris Ambainis, Artūrs Bačkurs, Kaspars Balodis, Agnis Škuškovniks, Juris Smotrovs, Madars Virza
        Pages 121-132
      3. Marcella Anselmo, Dora Giammarresi, Maria Madonia
        Pages 133-145
      4. Maxim Babenko
        Pages 146-156
      5. Hans-Joachim Böckenhauer, Monika Steinová
        Pages 157-168
      6. Michele Boreale, Alessandro Celestini
        Pages 169-181
      7. Stijn de Gouw, Frank de Boer, Wolfgang Ahrendt, Richard Bubel
        Pages 207-219

About these proceedings


This book constitutes the refereed proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, held in Špindlerův Mlýn, Czech Republic, in January 2013. The 37 revised full papers presented in this volume were carefully reviewed and selected from 98 submissions. The book also contains 10 invited talks, 5 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and social computing and human factors.


algorithms graph coloring problem information retrieval social Web source code

Editors and affiliations

  • Peter van Emde Boas
    • 1
  • Frans C. A. Groen
    • 2
  • Giuseppe F. Italiano
    • 3
  • Jerzy Nawrocki
    • 4
  • Harald Sack
    • 5
  1. 1.Department of Mathematics and Computer ScienceUniversity of AmsterdamAmsterdamThe Netherlands
  2. 2.Informatics Institute, Intelligent Systems Lab AmsterdamUniversity of AmsterdamAmsterdamThe Netherlands
  3. 3.Department of Civil Engineering and Computer ScienceUniversity of Rome Tor VergataRomeItaly
  4. 4.Institute of Computing SciencePoznan University of TechnologyPoznanPoland
  5. 5.Hasso-Plattner-Institute for Software Systems EngineeringPotsdamGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-35842-5
  • Online ISBN 978-3-642-35843-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Energy, Utilities & Environment