Program Committee Chair
Mogens Nielsen,
Aarhus, Denmark
Conference Tracks
- Foundations of Computer Science
Chair: Catuscia Palamidessi, Paris, France
Co-chair: Frank Valencia, Paris, France
- Theory and Practice of Software Services
Chair: Petr Tůma, Prague, Czech Republic
- Game Theoretic Aspects of E-commerce
Chair: Peter Bro Miltersen, Aarhus, Denmark
- Techniques and Tools for Formal Verification
Chair: Antonín Kučera, Brno, Czech Republic
- Students Research Forum
Chair: Mária Bieliková, Bratislava, Slovakia
Foundations of Computer Science
Track Chair
Contents
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) |
|
