Tracks & Topics

SOFSEM 2017 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 areas – Software Engineering: Methods, Tools, Applications, 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 2017. Each track has its own program chair and program committee, for peer reviewing and feedback to authors. Please consider the appropriate track of SOFSEM 2017 and join the pleasant and stimulating atmosphere of SOFSEM.

SOFSEM 2017 tracks:

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 as well as weighted, timed and probabilistic automata,
  • complexity theory, including computational, descriptional, and parametrized,
  • computational game theory,
  • decidability and undecidability questions,
  • discrete mathematics related to computer science,
  • foundations of the quantitative analysis of timed, hybrid and stochastic systems
  • logic in computer science,
  • quantum and bio-inspired computing,
  • semantics of progammaning languages,
  • theory of concurrent and mobile processes
  • verification, model checking, theorem proving, static analysis.

Track Program Committee:

  • Alessandro Abate (Oxford, United Kingdom United Kingdom)
  • Andreas Abel (Göteborg, Sweden Sweden)
  • Erika Abraham (Aachen, Germany Germany)
  • Christel Baier (Dresden, Germany Germany)
  • Armin Biere (Linz, Austria Austria)
  • Hans L. Bodlaender (Utrecht, The Netherlands The Netherlands)
  • Patricia Bouyer (Cachan, France France)
  • Gerth Stølting Brodal (Aarhus, Denmark Denmark)
  • Sergio Cabello (Ljubljana, Slovenia Slovenia)
  • Pedro R. D'Argenio (Córdoba, Argentina Argentina)
  • Yuxin Deng (Shanghai, China China)
  • Uli Fahrenberg (Rennes, France France)
  • Juraj Hromkovic (Zürich, Switzerland Switzerland)
  • Kazuo Iwama (Kyoto, Japan Japan)
  • Rolf Klein (Bonn, Germany Germany)
  • Jan Křetínský (Munich, Germany Germany)
  • Rastislav Královič (Bratislava, Slovakia Slovakia)
  • Antonín Kučera (Brno, Czech Republic Czech Republic)
  • Barbara König (Duisburg-Essen, Germany Germany)
  • Kamiński Marcin (Warsaw, Poland Poland)
  • Elvira Mayordomo (Zaragoza, Spain Spain)
  • Anca Muscholl (Bordeaux, France France)
  • Andrei Popescu (London, United Kingdom United Kingdom)
  • Tomasz Radzik (London, United Kingdom United Kingdom)
  • Alexandra Silva (London, United Kingdom United Kingdom)
  • Jiri Srba (Aalborg, Denmark Denmark)

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),
  • architecture, components, services,
  • (dynamic) product lines,
  • model-based development,
  • model transformations,
  • model mining techniques,
  • model and meta-model co-evolution,
  • model-based testing,
  • model versioning,
  • legacy modernization/migration,
  • repository mining,
  • software engineering for
    • process-centered information systems,
    • intelligent technical systems (Internet of Things),
    • mobile systems,
    • web-based systems,
    • game development,
  • software safety and reliability,
  • tools and development environments.

Track Program Committee:

  • Gregor Engels (Paderborn, Germany Germany)
  • Bernd Fischer (Stellenbosch, South Africa South Africa)
  • Tibor Gyimothy (Szeged, Hungary Hungary)
  • Görel Hedin (Lund, Sweden Sweden)
  • Zoltán Horváth (Budapest, Hungary Hungary)
  • Pierre-Etienne Moreau (Nancy, France France)
  • Claus Pahl (Dublin, Ireland Ireland)
  • Alfonso Pierantonio (L'Aquila, Italy Italy)
  • Ina Schäfer (Braunschweig, Germany Germany)
  • Bran Selic (Oslo, Norway Norway)
  • Miroslaw Staron (Gothenburg, Sweden Sweden)
  • Krzysztof Stencel (Warsaw, Poland Poland)
  • Emma Söderberg (Copenhagen, Google, Denmark Denmark)
  • Bogdan Vasilescu (Davis, USA USA)
  • Marina Waldén (Turku, Finland Finland)
  • Mark van den Brand (Eindhoven, The Netherlands The Netherlands)

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,
  • business process modeling, automation, and management
  • data and information modeling,
  • data and information semantics,
  • data integration, data cleaning,
  • data intensive applications,
  • data warehousing,
  • data mining, knowledge discovery and machine learning,
  • data privacy and security,
  • information retrieval,
  • intelligent agents, multi-agent systems,
  • knowledge modeling and processing,
  • knowledge acquisition and engineering,
  • linked data and open data,
  • mobile data and information,
  • multimedia, spatial, and temporal data and knowledge,
  • parallel and distributed data platforms
  • 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 engineering.

Track Program Committee:

  • Ladjel Bellatreche (Poitiers, France France)
  • Mária Bieliková (Bratislava, Slovakia Slovakia)
  • Barbara Catania (Genova, Italy Italy)
  • Johann Eder (Klagenfurt, Austria Austria)
  • Uwe Egly (Wien, Austria Austria)
  • Johann Gamper (Bolzano, Italy Italy)
  • Theo Härder (Kaiserslautern, Germany Germany)
  • Mirjana Ivanovic (Novi Sad, Serbia Serbia)
  • Georgia Koutrika (Palo Alto, USA USA)
  • Stanislav Krajči (Košice, Slovakia Slovakia)
  • Yannis Manolopoulos (Thessaloniki, Greece Greece)
  • Rainer Manthey (Bonn, Germany Germany)
  • Morzy Tadeusz (Poznan, Poland Poland)
Back to Top