International Conference on Current Trends in Theory and Practice of Informatics

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

Part of the Lecture Notes in Computer Science book series (LNCS, 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

Introduction

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. 

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-49192-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2016
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-49191-1
  • Online ISBN 978-3-662-49192-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book