Tracks & Topics

SOFSEM 2016 will consist of three tracks covering major subareas of current computer science: the traditional track on Foundations of Computer Science and two tracks devoted to leading developments in contemporary areas: Software & Web Engineering, and Data, Information and Knowledge Engineering. Original contributions are solicited, presenting new research results in the theory and practice of computer science in each subarea designated for SOFSEM 2016. Each track has its own program chair and program committee, for peer reviewing and feedback to authors. Please consider the appropriate track of SOFSEM 2016 and join the pleasant and stimulating atmosphere of SOFSEM.

SOFSEM 2016 tracks:

For students, there is the:

Foundations of Computer Science

The track is devoted to the theoretical heart of computer science, covering many different fields. Contributions are distinguished by an emphasis on mathematical background techniques, often with significant impact on practical applications. 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:

  • algorithms and data structures, including approximation, sequential, distributed, parallel, online, randomized, or graph algorithms,
  • automata and formal languages, including grammars and rewriting,
  • complexity theory, including computational, descriptional, and parametrized,
  • computational game theory,
  • decidability and undecidability questions,
  • discrete mathematics related to computer science,
  • logic in computer science,
  • quantum computing, algorithms, and complexity.

Track Program Committee:

  • Farid Ablayev (Kazan, Russia Russia)
  • Marie-Pierre Béal (Paris, France France)
  • Jan Bouda (Brno, Czech Republic Czech Republic)
  • Rūsiņš Freivalds (Riga, Latvia Latvia)
  • Christos Kapoutsis (Carnegie Mellon, Qatar Qatar)
  • Jarkko Kari (Turku, Finland Finland)
  • Efim Kinber (Sacred Heart University, USA USA)
  • Reinhard Klette (Auckland, New Zealand New Zealand)
  • Andrzej Lingas (Lund, Sweden Sweden)
  • Alexei Lisitsa (Liverpool, United Kingdom United Kingdom)
  • Laura Mančinska (NUS, Singapore Singapore)
  • Bruno Martin (Nice, France France)
  • Carlo Mereghetti (Milano, Italy Italy)
  • Alexander Okhotin (Turku, Finland Finland)
  • Kārlis Podnieks (Riga, Latvia Latvia)
  • Raymond Rudy (IBM Tokyo, Japan Japan)
  • Cem Say (Istanbul, Turkey Turkey)
  • Alberto Marchetti Spaccamela (Rome, Italy Italy)
  • Madars Virza (MIT, USA USA)
  • Jiří Wiedermann (Prague, Czech Republic Czech Republic)
  • Abuzer Yakaryilmaz (Petropolis, Brazil Brazil)
  • Tomoyuki Yamakami (Fukui, Japan Japan)
  • Thomas Zeugmann (Sapporo, Japan Japan)

Software Engineering: Methods, Tools, Applications

The track is devoted to the research of novel and innovative methods and technologies to software engineering, including both software product and development process aspects. As software is the source of most of the innovations nowadays, novel software engineering approaches to develop intelligent technical systems, mobile systems, web-based systems, or games of high quality are of great interest. Furthermore, efficient, effective, and agile process approaches for core activities within requirements elicitation and software development are requested, as well as approaches for integrating business aspects, software development aspects, and software operations aspects (BizDevOps). In particular, lean and agile principles on the process site and component- and service-oriented concepts of the product site are of interest.

Topics include, but are not limited to:

  • lean/agile development,
  • user-centered development,
  • (situational) method engineering,
  • development/operations (DevOps),
  • business/IT-alignment,
  • architecture, components, services,
  • (dynamic) product lines,
  • model-based development,
  • model transformations,
  • model mining techniques,
  • model-based testing,
  • software modernization/migration,
  • software engineering for
    • process-centered information systems,
    • intelligent technical systems,
    • mobile systems,
    • web-based systems,
    • game development,
  • software safety and reliability,
  • tools and development environments.

Track Program Committee:

  • Steffen Becker (Chemnitz, Germany Germany)
  • Ruth Breu (Innsbruck, Austria Austria)
  • Tomáš Bureš (Prague, Czech Republic Czech Republic)
  • Gregor Engels (Paderborn, Germany Germany)
  • Eric Knauss (Göteborg, Sweden Sweden)
  • Pavol Návrat (Bratislava, Slovakia Slovakia)
  • Jerzy Nawrocki (Poznan, Poland Poland)
  • Martin Nečaský (Prague, Czech Republic Czech Republic)
  • Claus Pahl (Dublin, Ireland Ireland)
  • Alexander Pretschner (Munich, Germany Germany)
  • Ina Schäfer (Braunschweig, Germany Germany)
  • Romina Spalazzese (Malmö, Sweden Sweden)
  • Andrzej Wąsowski (Copenhagen, Denmark Denmark)
  • Uwe Zdun (Vienna, Austria Austria)

Data, Information and Knowledge Engineering

The track is devoted to all aspects of eliciting, acquiring, modeling, storing, and managing data, information, and knowledge. Contributions concerning all steps in the development of data and knowledge-intensive systems – theoretical foundations, design, implementation and maintenance techniques – are welcome.

Topics include, but are not limited to:

  • Big Data storage, processing and analytics,
  • data and information modeling,
  • data and information semantics,
  • data integration,
  • data intensive applications,
  • data warehousing, data mining, knowledge discovery and machine learning,
  • data privacy and security,
  • databases scalability
  • information extraction,
  • information retrieval,
  • intelligent agents, multi-agent systems,
  • knowledge modeling and processing,
  • knowledge acquisition and engineering,
  • linked data and open data,
  • linked data consumption, visualisation and exploration,
  • mobile data and information,
  • multimedia, spatial, and temporal data and knowledge,
  • parallel databases
  • probabilistic databases, uncertainty and approximate querying,
  • query and natural language processing,
  • provenance and trust in data management and knowledge engineering,
  • stream data management,
  • web and semantic web data and knowledge.

Track Program Committee:

  • Zohra Bellahsène (Montpellier, France France)
  • Petr Berka (Prague, Czech Republic Czech Republic)
  • Mária Bieliková (Bratislava, Slovakia Slovakia)
  • Stephane Bressan (Singapore, Republic of Singapore Republic of Singapore)
  • Davide Buscaldi (Paris, France France)
  • Johann Eder (Klagenfurt, Austria Austria)
  • Uwe Egly (Wien, Austria Austria)
  • Johann Gamper (Bolzano, Italy Italy)
  • Giovanna Guerrini (Genova, Italy Italy)
  • Theo Härder (Kaiserslautern, Germany Germany)
  • Hannu Jaakkola (Pori, Finland Finland)
  • Georgia Koutrika (Palo Alto, USA USA)
  • Stanislav Krajči (Košice, Slovakia Slovakia)
  • Yannis Manolopoulos (Thessaloniki, Greece Greece)
  • Rainer Manthey (Bonn, Germany Germany)
  • Paolo Missier (NewCastle, United Kingdom United Kingdom)
  • Boris Novikov (St. Petersburg, Russia Russia)
  • Evaggelia Pitoura (Ioannina, Greece Greece)
  • Jaroslav Pokorny (Prague, Czech Republic Czech Republic)
  • Paolo Rosso (Valencia, Spain Spain)
  • Ismael Sanz (Castelló, Spain Spain)
  • Athena Vakali (Thessaloniki, Greece Greece)

Student Research Forum

Student Research Forum (SRF) provides students with an opportunity to receive a valuable feedback and have a discussion on their ideas together with the possibility to publish them. All student papers will be reviewed by the SOFSEM 2016 Program Committee and those not accepted to the main Springer LNCS proceedings but still proposing novel and contributing ideas will be reviewed again. Well written and promising student papers will be subsequently accepted to the SOFSEM 2016 local proceedings.

During the conference there will be a track devoted particularly to the Student papers which includes (i) oral student presentations in front of the full SOFSEM audience, (ii) a student poster session which gives space for further discussion between students and SOFSEM participants. Best Student Paper and Best Student Presentation will be awarded during the conference.
To be eligible, all authors have to be students (except for their advisors).

Back to Top