Current Trends in Theory and Practice of Computer Science
  Print-outs & Poster
Program Committee

Program Committee Chair

Mogens Nielsen, Aarhus, Denmark

Conference Tracks

Foundations of Computer Science

Track Chair


The track is devoted to the recognized core areas forming the heart of computer science, and covering many different fields. Contributions are typically distinguished by an emphasis on mathematical background techniques, but quite often with significant impact on practical applications and systems. In other words, contributions that illustrate the value of fundamental research for applications are especially welcome. Such contributions have traditionally received a lot of attention at SOFSEM conferences, since its birth in 1974.

The list of topics includes (but is not limited to):

  • algorithms and data structures, including sequential, parallel, distributed, approximation, and number-theoretic algorithms
  • automata theory and languages
  • complexity theory, both computational and structural
  • foundations of security
  • concurrency theory
  • quantitative aspects of computing
  • discrete mathematics related to computer science
  • grammars and formal models
  • program semantics, logic, and verification

Program Committee Members:

Luca Aceto (Reykjavik University, Iceland)
Steffen Becker (FZI Karlsruhe, Germany)
Frank de Boer (Leiden University, The Netherlands)
Thierry Coupaye (France Telecom R&D, France)
Roberto Bruni (University of Pisa, Italy)
Stefan Dantchev (Durham University, UK)
Pierpaolo Degano (University of Pisa, Italy)
Fedor Fomin (University of Bergen, Norway)
Rachid Guerraoui (EPFL, Switzerland)
Juraj Hromkovic (ETH Zurich, Switzerland)
Thore Husfeldt (IT University of Copenhagen, Denmark & Lund University, Sweden)
Giuseppe F. Italiano (Universita di Roma "Tor Vergata", Italy)
Riko Jacob (Technische Universität München, Germany)
Thomas Jensen (IRISA/CNRS, France)
Juhani Karhumäki (University of Turku, Finland)
Joost-Pieter Katoen (Aachen University, Germany)
Evangelos Kranakis (Carleton University, Canada)
Stephan Merz (INRIA Nancy-Grand Est, France)
Mike Mislove (Tulane University, USA)
Catuscia Palamidessi    (INRIA Saclay - Île-de-France and École Polytechnique, France, co-chair)
Wojciech Penczek (IPI PAN and University of Podlasie, Poland)
Riccardo Pucella (Northeastern University, USA)
Branislav Rovan (Comenius University, Slovakia)
Geoffrey Smith (Florida International University , USA)
Jiri Srba (University of Aalborg, Denmark)
Frank Valencia (CNRS and École Polytechnique, France, co-chair)
Igor Walukiewicz (Université de Bordeaux, France)
Jiří Wiedermann (Academy of Sciences, Czech Republic)
Filip Zelezny (Czech Technical University in Prague, Czech Republic)

SOFSEM 2009, January 24-30, 2009, ©pindlerův Mlýn, Czech Republic