© 2016

SOFSEM 2016: Theory and Practice of Computer Science

42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

  • Rūsiņš Mārtiņš Freivalds
  • Gregor Engels
  • Barbara Catania
Conference proceedings SOFSEM 2016

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9587)

Table of contents

  1. Front Matter
    Pages I-XV
  2. Foundations of Computer Science (Invited Talks)

    1. Front Matter
      Pages 1-1
    2. Gilles Brassard
      Pages 3-16
    3. Sanjay Jain, Frank Stephan
      Pages 29-40
  3. Software Engineering: Methods, Tools, Applications (Invited Talks)

    1. Front Matter
      Pages 41-41
    2. Sebastian Holtappels, Michael Striewe, Michael Goedicke
      Pages 43-50
  4. Data, Information, and Knowledge Engineering (Invited Talks)

    1. Front Matter
      Pages 61-61
    2. Norman W. Paton, Khalid Belhajjame, Suzanne M. Embury, Alvaro A. A. Fernandes, Ruhaila Maskat
      Pages 81-92
  5. Foundations of Computer Science (Regular Papers)

    1. Front Matter
      Pages 93-93
    2. Marjan van den Akker, Hans L. Bodlaender, Thomas C. van Dijk, Han Hoogeveen, Erik van Ommeren
      Pages 95-106
    3. M. Jawaherul Alam, Michael Kaufmann, Stephen G. Kobourov
      Pages 107-120
    4. M. Jawaherul Alam, Stephen G. Kobourov, Debajyoti Mondal
      Pages 121-133
    5. Patrizio Angelini, Giordano Da Lozzo, Marco Di Bartolomeo, Valentino Di Donato, Maurizio Patrignani, Vincenzo Roselli et al.
      Pages 134-147
    6. Harout Aydinian, Ferdinando Cicalese, Christian Deppe, Vladimir Lebedev
      Pages 148-160
    7. Kfir Barhum, Juraj Hromkovič
      Pages 161-170
    8. Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
      Pages 183-194

About these proceedings


This book constitutes the proceedings of the 42nd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2016, held in Harrachov, Czech Republic, in January 2016.
The 43 full papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections named: foundations of computer science; software engineering: methods, tools, applications; and data, information, and knowledge engineering. The volume also contains 7 invited talks in full paper length. 


computational complexity formal languages graph coloring model transformations quantum computation aspect-oriented programming association rules cryptography data mining digital libraries domain modeling functional programming natural language processing online computation parallel computation integer linear programming post-quantum cryptography software architecture Web services workflows

Editors and affiliations

  • Rūsiņš Mārtiņš Freivalds
    • 1
  • Gregor Engels
    • 2
  • Barbara Catania
    • 3
  1. 1.University of LatviaRigaLatvia
  2. 2.University of PaderbornPaderbornGermany
  3. 3.University of GenoaGenoaItaly

Bibliographic information

Industry Sectors
IT & Software