Aarhus University Seal / Aarhus Universitets segl

SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings

Research output: Book/anthology/dissertation/reportAnthology

  • Maria Bielikova, Czech Republic
  • Mogens Nielsen (Editor)
  • Antonin Kucera, Czech Republic
  • Peter Bro Miltersen (Editor)
  • Catuscia Palamidessi, France
  • Petr Tuma, Czech Republic
  • Frank Valencia, France
  • Department of Computer Science

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009.

The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.

Original languageEnglish
PublisherSpringer
Number of pages132
ISBN (Print)3-540-95890-8, 978-3-540-95890-1, 987-80-7383-059-3
DOIs
Publication statusPublished - 2009
SeriesLecture Notes in Computer Science
Volume5404
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 18829121