SofSeml2010 Call for Papers

SOFSEM 2010 consists of four tracks covering major subareas of current computer science: the traditional track on Foundations of Computer Science and three tracks devoted to leading developments in contemporary areas. Original contributions are solicited, presenting new research results in the theory and practice of computer science in each subarea designated for SOFSEM 2010 (see below). Each track has its own program chair and program committee, for peer reviewing and feedback to authors. Please consider the appropriate track of SOFSEM 2010 and join in the pleasant and stimulating atmosphere of SOFSEM.

Conference Tracks

SOFSEM 2010 consists of the following 4 tracks:

For students, there is the:

  • Student Research Forum
    Chair: Mária Bieliková    (Slovak University of Technology in Bratislava, Slovakia)


Following the tradition of SOFSEM, the proceedings of SOFSEM 2010, including invited and contributed papers, will be published in the Lecture Notes in Computer Science Series by Springer-Verlag. Papers of the Student Research Forum will be published in local proceedings. The target paper size is 12 pages in LNCS format. Both proceedings will be distributed at the conference.

Foundations of Computer Science

The track is devoted to the recognized core areas of foundational computer science including the study of algorithms and their complexity, formal models, languages, programming semantics, and theory of software systems.

Topics include (but are not limited to):

  • algorithmic game theory,
  • algorithms and datastructures (incl. geometric, network, graph, exact, approximation, learning, and online algorithms),
  • automata, languages, and rewriting systems,
  • complexity theory (computational and structural),
  • distributed and parallel computing,
  • formal models of systems (incl. concurrent, hybrid, interactive, mobile, and reactive systems),
  • foundations of security and cryptography,
  • logics and semantics of programs,
  • quantum computation and quantum information,
  • theory of programming languages.

Program Committee:

  • Marek Chrobak (Riverside, USA)
  • Philippe Darondeau (Rennes, France)
  • Josep Diaz (Barcelona, Spain)
  • Michal Feldman (Jerusalem, Israel)
  • Leszek Gasieniec (Liverpool, United Kingdom)
  • Massimiliano Goldwurm (Milano, Italy)
  • Holger Hermanns (Aachen, Germany)
  • Lefteris Kirousis (Patras, Greece)
  • Marc van Kreveld (Utrecht, The Netherlands)
  • Fabian Kuhn (Cambridge, USA)
  • Dietrich Kuske (Leipzig, Germany)
  • Alberto Marchetti-Spaccamela (Roma, Italy)
  • Madhavan Mukund (Chennai, India)
  • Andrzej Murawski (Oxford, United Kingdom)
  • Anca Muscholl (Bordeaux, France)
  • David Peleg (Rehovot, Israel)
  • Philippe Schnoebelen (Paris, France)
  • Helmut Seidl (Munich, Germany)
  • Olivier Serre (Paris, France)
  • Hadas Shachnai (Haifa, Israel)
  • Pawel Sobocinski (Southampton, United Kingdom)
  • Howard Straubing (Boston, USA)
  • Laurent Viennot (Paris, France)
  • Tomas Vojnar (Brno, Czech Republic)
  • Ronald de Wolf (Amsterdam, The Netherlands)

Principles of Software Construction

The track is devoted to the application of novel and innovative technologies and principles to software construction including specification, modelling, code generation and architectural styles and patterns.

Topics include (but are not limited to):

  • architectural, design patterns and principles,
  • constructing quality into software,
  • constructive model transformations,
  • domain and architecture modeling,
  • domain-specific construction techniques,
  • model driven architecture (MDA, MDD),
  • plugin technologies,
  • programming and modeling paradigms,
  • software evolution,
  • software specification, architecture, design,
  • software composition,
  • sustainable software construction,
  • tools, languages and mechanisms for software generation.

Program Committee:

  • Jean Bézivin (Nantes, France)
  • Gregor von Bochmann (Ottawa, Canada)
  • Manfred Broy (Munich, Germany)
  • Gregor Engels (Paderborn, Germany)
  • Michaela Huhn (Braunschweig, Germany)
  • Gerti Kappel (Wien, Austria)
  • Ingolf Krüger (San Diego, USA)
  • Horst Lichter (Aachen, Germany)
  • Karl J. Lieberherr (Zurich, Switzerland)
  • Johan Lilius (Turku, Finland)
  • Bertrand Meyer (Zurich, Switzerland)
  • Richard Paige (Heslington, United Kingdom)
  • Alberto Pettorossi (Rome, Italy)
  • Klaus Pohl (Duisburg-Essen, Germany)
  • Ivan Porres (Turku, Finland)
  • Andreas Rausch (Clausthal, Germany)
  • Ralf Reussner (Karlsruhe, Germany)
  • Bernhard Rumpe (Aachen, Germany)
  • Friedrich Steimann (Hagen, Germany)

Data, Knowledge, and Intelligent Systems

The track is devoted to the challenges of modeling, storing, and extracting knowledge from large amounts of data and the theory, design and practice of (web-)information systems.

Topics include (but are not limited to):

  • databases and database architectures,
  • data mining and knowledge discovery,
  • decision support systems,
  • information retrieval,
  • intelligent agents, multi-agent systems,
  • knowledge acquisition, knowledge management,
  • knowledge modeling and processing,
  • multimedia data,
  • semantic Web, ontologies, services,
  • stream-based processing,
  • Web data and databases,
  • Web information filtering and retrieval,
  • XML technology and databases.

Program Committee:

  • Petr Berka (Prague, Czech Republic)
  • Barbara Catania (Genova, Italy)
  • Richard Chbeir (Dijon, France)
  • Johann Gamper (Bolzano, Italy)
  • Lluis Godo (Bellaterra, Spain)
  • Hele-Mai Haav (Tallinn, Estonia)
  • Hannu Jaakkola (Pori, Finland)
  • Sergei Kuznetcov (Moscow, Russia)
  • Rainer Manthey (Bonn, Germany)
  • Tadeusz Morzy (Poznan, Poland)
  • Pavol Návrat (Bratislava, Slovakia)
  • Michal Pěchouček (Prague, Czech Republic)
  • Jaroslav Pokorný (Prague, Czech Republic)
  • Peter Revesz (Lincoln, USA)
  • Umberto Straccia (Pisa, Italy)
  • Bernhard Thalheim (Kiel, Germany)
  • Athena Vakali (Thessaloniki, Greece)
  • Peter Vojtáš (Prague, Czech Republic)

Web Science

The track is devoted to novel contributions in understanding, designing and engineering the technologies, services and applications that make up the World Wide Web.

Topics include (but are not limited to):

  • analysis of the Web and its evolution,
  • cloud computing,
  • e-commerce, mechanism design, online market design,
  • interacting with Web data, processes, and services,
  • linked data and the Semantic Web,
  • mobile Web,
  • RESTful and resource-oriented architecture,
  • search engines, indexing, ranking, web graph,
  • security, privacy, trust, provenance, reputation,
  • services science and management,
  • social networks, small-world and random models,
  • social software, crowd sourcing, communities,
  • Web 3.0,
  • Web as a distributed applications platform – new services and tools,
  • Web infrastructure – caching, streaming and content delivery,
  • Web of things,
  • Web technologies (XML, XSLT and XLink, OWL, etc.).

Program Committee:

  • Judit Bar-Ilan (Ramat Gan, Israel)
  • Susanne Boll (Oldenburg, Germany)
  • Liliane Cabral (Milton Keynes, United Kingdom)
  • Vassilis Christophides (Heraklion, Greece)
  • Peter Dolog (Aalborg, Denmark)
  • Guozhu Dong (Dayton, USA)
  • Piero Fraternali (Milano, Italy)
  • Tim Furche (München, Germany)
  • Lynda Hardman (Amsterdam, The Netherlands)
  • Martin Hepp (Munich, Germany)
  • Geert-Jan Houben (Delft, The Netherlands)
  • Jan van Leeuwen (Utrecht, The Netherlands)
  • Christian Prehofer (Helsinki, Finland)
  • Harald Sack (Potsdam, Germany)
  • Vojtěch Svátek (Prague, Czech Republic)
  • Erik Wilde (Berkeley, USA)

Student Research Forum

An integral part of the SOFSEM 2010 will be the Student Research Forum (SRF) organized with the aim to publish and discuss student projects in the field of theory and practice of Computer Science. The forum will offer students the opportunity to receive feedback on both the originality of their scientific work results and the work in progress. The papers will be reviewed and selected by the corresponding SOFSEM 2010 Program Committee as contributed papers. This gives the students the means to obtain a valuable feedback on their work and also a possibility, in case their paper is accepted for the corresponding tracks, to have their paper published in the main Springer LNCS proceedings.

Student papers of sufficient high quality but not accepted for the regular track, will be accepted to the SOFSEM 2010 Student Research Forum which will give the students the opportunity to present their paper to the main SOFSEM audience and also to get the paper published in SOFSEM local proceedings.

To be eligible, all authors of the paper must be students (except possibly their advisors). Sufficient space for discussion and exchange of experience will be provided during the forum itself and will continue throughout the conference. Best Student Paper and Best Student Presentation will be awarded during the conference.

All types of submissions (invited papers and contributed papers in LNCS proceedings and student research forum in local proceedings) should follow the Instructions.