SOFSEM 2012: Theory and Practice of Computer Science

38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings

  • Mária Bieliková
  • Gerhard Friedrich
  • Georg Gottlob
  • Stefan Katzenbeisser
  • György Turán

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Foundations of Computer Science

    2. Software and Web Engineering

    3. Cryptography, Security, and Verification

      1. Krzysztof Pietrzak
        Pages 99-114
    4. Artificial Intelligence

  3. Regular Papers

    1. Foundations of Computer Science

      1. Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
        Pages 141-152
      2. Guillaume Blin, Paola Bonizzoni, Riccardo Dondi, Romeo Rizzi, Florian Sikora
        Pages 153-164
      3. Ilir Çapuni, Peter Gács
        Pages 165-176
      4. Ondřej Čepek, Petr Kučera, Václav Vlček
        Pages 177-189
      5. Panagiotis Cheilaris, Balázs Keszegh, Dömötör Pálvölgyi
        Pages 190-201
      6. Jean-François Couturier, Pinar Heggernes, Pim van’t Hof, Dieter Kratsch
        Pages 202-213
      7. Peter Damaschke, Azam Sheikh Muhammad
        Pages 214-225
      8. Johannes Ebbing, Peter Lohmann
        Pages 226-237

About these proceedings


This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in Špindlerův Mlýn, Czech Republic, in January 2012.

The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also contains 11 invited talks, 10 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; cryptography, security, and verification; and artificial intelligence.


Web services algorithmic learning theory graph theory natural language processing quantum cryptography

Editors and affiliations

  • Mária Bieliková
    • 1
  • Gerhard Friedrich
    • 2
  • Georg Gottlob
    • 3
  • Stefan Katzenbeisser
    • 4
  • György Turán
    • 5
  1. 1.Faculty of Informatics and Information Technologies, Institute of Informatics and Software EngineeringSlovak University of Technology in BratislavaBratislava 4Slovakia
  2. 2.Dept. of Intelligent Systems and Business InformaticsAlpen-Adria-Universität KlagenfurtKlagenfurtAustria
  3. 3.Department of Computer ScienceUniversity of OxfordUK
  4. 4.Security Engineering GroupTechnische Universität DarmstadtDarmstadtGermany
  5. 5.University of Illinois at Chicago, Dept. of Math., Stat. and Comp. Sci, 851 S. Morgan Street, Chicago, IL 60607-7045, USA; and University of Szeged, Research Group on Artificial Intelligence of the Hungarian Academy of Sciences, 6701 Szeged, PostafiókHungary

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-27659-0
  • Online ISBN 978-3-642-27660-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment