Tracks & Topics

SOFSEM 2013 will 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 2013 (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 2013 and join in the pleasant and stimulating atmosphere of SOFSEM.

SOFSEM 2013 tracks:

For students, there is the:

  • Student Research Forum
    Track Chair: Roman Špánek (Institute of Computer Science, Academy of Sciences, Czech Republic )

Foundations of Computer Science

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.

Topics include (but are not limited to):

  • algorithmic game theory,
  • algorithms and data structures, including sequential, parallel,
  • distributed, randomized, online and approximation algorithms,
  • automata theory, grammars, formal languages, rewriting,
  • computational biology,
  • complexity theory,
  • computational geometry,
  • computational learning theory,
  • discrete mathematics related to computer science,
  • quantum computing,
  • logics and semantics of programs,
  • theory of databases, semi-structured data, and finite model theory,
  • theory of programming languages.

Track Program Committee:

  • Mark de Berg (Eindhoven, The Netherlands The Netherlands)
  • Ondřej Čepek (Prague, Czech Republic Czech Republic)
  • Daniel Delling (Silicon Valley, USA USA)
  • Peter van Emde Boas (Amsterdam, The Netherlands The Netherlands)
  • Thomas Erlebach (Leicester, United Kingdom United Kingdom)
  • Fedor V. Fomin (Bergen, Norway Norway)
  • Dimitris Fotakis (Athens, Greece Greece)
  • Loukas Georgiadis (Ioannina, Greece Greece)
  • Anna Ingolfsdottir (Reykjavik, Iceland Iceland)
  • Riko Jacob (Zürich, Switzerland Switzerland)
  • Klaus Jansen (Kiel, Germany Germany)
  • Galina Jirásková (Košice, Slovakia Slovakia)
  • Gregory Kucherov (Paris, France France)
  • Ulrich Mayer (Frankfurt, Germany Germany)
  • Jakob Nordström (Stockholm, Sweden Sweden)
  • Catuscia Palamidessi (Palaiseau, France France)
  • Andreas Pieris (Oxford, United Kingdom United Kingdom)
  • Giovanni Pighizzini (Milan, Italy Italy)
  • Liam Roditty (Rehovot, Israel Israel)
  • Hadas Shachnai (Haifa, Israel Israel)
  • Jiří Šíma (Prague, Czech Republic Czech Republic)
  • Tarmo Uustalu (Tallinn, Estonia Estonia)

Software & Web Engineering

The track is devoted to the research of novel and innovative principles and technologies to software and web engineering, including both application and data engineering along with service-based approaches. As the World Wide Web is an important major platform for delivering software applications and services and a source of data, specific methods and engineering techniques are necessary to successfully create, maintain, and test such applications and/or the content they work with.

Topics include (but are not limited to):

Software and Web Applications Engineering

  • engineering methodologies,
  • agile development,
  • modelling and model driven development,
  • requirements engineering,
  • architecture and design,
  • components and reuse,
  • program comprehension and visualization,
  • testing,
  • human–computer interaction,
  • tools and development environments,
  • software dependability, safety and reliability,
  • web service-based architectures and applications,
  • semantic web services,
  • web service composition.

Software and Web Data Engineering

  • data and information modelling,
  • data and information semantics,
  • data privacy and security,
  • semantics discovery and representation,
  • social web applications,
  • context aware applications,
  • web 2.0 technologies,
  • personalized software and web applications,
  • web mining,
  • information extraction,
  • information retrieval,
  • mobile data and Information,
  • linked data consumption, visualisation and exploration,
  • future Internet applications.

Track Program Committee:

  • Ioannis Anagnostopoulos (Lamia, Greece Greece)
  • Mária Bieliková (Bratislava, Slovakia Slovakia)
  • Přemek Brada (Pilsen, Czech Republic Czech Republic)
  • Pavel Herout (Pilsen, Czech Republic Czech Republic)
  • Zbigniew Huzar (Wroclaw, Poland Poland)
  • Milos Kravcik (Aachen, Germany Germany)
  • Michal Laclavík (Bratislava, Slovakia Slovakia)
  • Martin Lopez-Nores (Vigo, Spain Spain)
  • Leszek Maciaszek (Wroclaw, Poland Poland)
  • Lech Madeyski (Wroclaw, Poland Poland)
  • Pavol Návrat (Bratislava, Slovakia Slovakia)
  • Miroslaw Ochodek (Poznan, Poland Poland)
  • Karel Richta (Prague, Czech Republic Czech Republic)
  • Petr Šaloun (Ostrava, Czech Republic Czech Republic)
  • Július Štuller (Prague, Czech Republic Czech Republic)
  • Valentino Vranić (Bratislava, Slovakia Slovakia)
  • Jaroslav Zendulka (Brno, Czech Republic Czech Republic)
  • Wolf Zimmermann (Halle Wittenberg, Germany Germany)

Data, Information and Knowledge Engineering

The track is devoted to all aspects of eliciting, acquiring, modeling, storing, and managing data, information, and knowledge, as well as the theory, design, and construction of knowledge-intensive systems and for web information systems including services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, etc.

Topics include (but are not limited to):

  • databases and database architectures,
  • machine learning, knowledge discovery and data mining,
  • provenance and trust in data management and knowledge engineering,
  • data integration,
  • multimedia databases and multimedia retrieval,
  • information retrieval,
  • intelligent agents, multi-agent systems,
  • knowledge engineering and acquisition,
  • knowledge modeling and processing,
  • semantic web technologies,
  • ontology engineering and ontology dynamics,
  • linked data and open data,
  • information and knowledge visualization.

Track Program Committee:

  • Sören Auer (Leipzig, Germany Germany)
  • Roman Barták (Prague, Czech Republic Czech Republic)
  • Petr Berka (Prague, Czech Republic Czech Republic)
  • Ivan Bratko (Lubljana, Slovenia Slovenia)
  • Uwe Egly (Vienna, Austria Austria)
  • Gerhard Friedrich (Klagenfurt, Austria Austria)
  • Siegfried Handschuh (Galway, Ireland Ireland)
  • Martin Homola (Bratislava, Slovakia Slovakia)
  • Andreas Hotho (Würzburg, Germany Germany)
  • Evangelos Kranakis (Carleton, Canada Canada)
  • Michal Laclavík (Bratislava, Slovakia Slovakia)
  • Roberto Navigli (Rome, Italy Italy)
  • Andreas Nürnberger (Magdeburg, Germany Germany)
  • Adrian Paschke (Berlin, Germany Germany)
  • Tassilo Pellegrini (Vienna, Austria Austria)
  • Valentina Presutti (Rome, Italy Italy)
  • Matthew Rowe (Milton Keynes, United Kingdom United Kingdom)

Social Computing and Human Factors

Topics include (but are not limited to):

  • intelligent systems/robotics,
  • computer vision,
  • intelligent vehicles,
  • datamining and logic,
  • visualisation, graphics, virtual reality,
  • security, cryptography,
  • multimedia,
  • human factors,
  • computational science.

Track Program Committee:

  • Radu G. Danescu (Cluj Napoca, Romania Romania)
  • Feng Dong (Luton, United Kingdom United Kingdom)
  • Werner Dubitzky (Ulster, United Kingdom United Kingdom)
  • Pedro Lima (Lisboa, Portugal Portugal)
  • Anton Nijholt (Enschede, The Netherlands The Netherlands)
  • Dino Pedreschi (Pisa, Italy Italy)
  • Giuseppe Serra (Firenze, Italy Italy)
  • Marc Stevens (Amsterdam, The Netherlands The Netherlands)

Student Research Forum

An integral part of the SOFSEM 2013 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 2013 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 2013 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.