SOFSEM Logo

  Tracks & Topics

SOFSEM 2015 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: Software & Web Engineering, Data, Information and Knowledge Engineering and Cryptography, Security, and Verification. Original contributions are solicited, presenting new research results in the theory and practice of computer science in each subarea designated for SOFSEM 2015. Each track has its own program chair and program committee, for peer reviewing and feedback to authors. Please consider the appropriate track of SOFSEM 2015 and join in the pleasant and stimulating atmosphere of SOFSEM.

SOFSEM 2015 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:

  • Malgorzata Biernacka (Wroclaw, Poland Poland)
  • Kevin Buchin (Eindhoven, The Netherlands The Netherlands)
  • Ivana Černá (Brno, Czech Republic Czech Republic)
  • Cezara Drăgoi (IST, Austria Austria)
  • Stefan Dobrev (Bratislava, Slovakia Slovakia)
  • Leszek Gasieniec (Liverpool, United Kingdom United Kingdom)
  • Inge Li Goertz (Lyngby, Denmark Denmark)
  • Stephan Holzer (MIT, USA USA)
  • Taisuke Izumi (Nagoya, Japan Japan)
  • Petteri Kaski (Aalto, Finland Finland)
  • Felix Klaedkte (NEC Europe, Germany Germany)
  • Richard Královič (Bratislava, Slovakia Slovakia)
  • Antonín Kučera (Prague, Czech Republic Czech Republic)
  • Yves Métivier (Bordeaux, France France)
  • Gopal Pandurangan (Nanyang, Singapore Singapore)
  • Periklis Papakonstantinou (Tsinghua, China China)
  • Marina Papatriantafilou (Gothenburg, Sweden Sweden)
  • Dirk Pattinson (Canberra, Australia Australia)
  • Giuseppe Persiano (Salerno, Italy Italy)
  • Stefan Schmid (T-Labs, Germany Germany)
  • Ulrich Schmid (Vienna, Austria Austria)
  • Srikanta Tirthapura (Ames, USA USA)
  • Stefan Wolf (USI, Switzerland Switzerland)
  • Grigory Yaroslavtsev (Philadelphia, USA USA)

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:

  • agile development,
  • architecture and design,
  • components and reuse,
  • context aware applications,
  • modelling and model driven development,
  • model and program comprehension and visualization,
  • personalized software and web applications,
  • requirements engineering,
  • semantic web services and technologies,
  • service engineering,
  • software dependability, safety and reliability,
  • testing,
  • tools and development environments.

Track Program Committee:

  • Laura Bocchi (London, United Kingdom United Kingdom)
  • Götz Botterweck (Limerick, Ireland Ireland)
  • Michael Felderer (Innsbruck, Austria Austria)
  • Falk Howar (Dortmund, Germany Germany)
  • Anna-Lena Lamprecht (Potsdam, Germany Germany)
  • Óscar Pastor López (Valencia, Spain Spain)
  • A Min Tjoa (Wien, Austria Austria)
  • Andreas Rausch (Clausthal-Zellerfeld, Germany Germany)
  • Ina Schäfer (Braunschweig, Germany Germany)
  • Markus Schordan (Livermore, USA USA)
  • Cristina Seceleanu (Västerås, Sweden Sweden)
  • Franco Zambonelli (Modena, Italy Italy)

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:

  • Big Data storage, processing and analytics,
  • data and information modeling,
  • data and information semantics,
  • data integration,
  • 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 databases and multimedia retrieval,
  • parallel databases
  • provenance and trust in data management and knowledge engineering.

Track Program Committee:

  • Ioannis Anagnostopoulos (Lamia, Greece Greece)
  • Zohra Bellahsène (Montpellier, France France)
  • Petr Berka (Prague, Czech Republic Czech Republic)
  • Richard Chbeir (Anglet, France France)
  • Johann Eder (Klagenfurt, Austria Austria)
  • Uwe Egly (Wien, Austria Austria)
  • Hele-Mai Haav (Tallinn, Estonia Estonia)
  • Hannu Jaakkola (Pori, Finland Finland)
  • Theo Härder (Kaiserslautern, Germany Germany)
  • Stanislav Krajči (Košice, Slovakia Slovakia)
  • Yannis Manolopoulos (Thessaloniki, Greece Greece)
  • Tadeusz Morzy (Poznan, Poland Poland)
  • Tadeusz Pankowski (Poznan, Poland Poland)
  • Dimitris Pleousakis (Heraklion, Greece Greece)
  • Harald Sack (Potsdam, Germany Germany)
  • Massimo Tisi (Nantes, France France)
  • Remco Veltkamp (Utrecht, The Netherlands The Netherlands)
  • Peter Vojtáš (Prague, Czech Republic Czech Republic)
  • Manuel Wimmer (Wien, Austria Austria)

Cryptography, Security, and Verification

This track is devoted to all aspects of cryptography, trust, information security, software reliability, computer-aided verification, and model checking. Special emphasis is laid on novel research results on the correctness and security of software, which are the backbone of critical infrastructures and services. Furthermore, we focus on security architectures, cryptographic primitives and protocols suitable to protect sensitive digital data during storage or processing.

Topics include, but are not limited to:

  • cloud computing security,
  • cryptographic protocols and primitives,
  • data centric security and content protection,
  • formal methods in software security and reliability,
  • privacy and anonymity,
  • program analysis, testing and runtime analysis,
  • software security and secure software engineering,
  • software verification and model checking,
  • system security,
  • trust management,
  • trusted hardware and virtualization,
  • trusted and trustworthy computing.

Track Program Committee:

  • Elena Andreeva (Leuven-Heverlee, Belgium Belgium)
  • Samia Bouzefrane (Paris, France France)
  • Mila Dalla Preda (Verona, Italy Italy)
  • Stéphanie Delaune (Cachan, France France)
  • Solange Ghernaouti (Lausanne, Switzerland Switzerland)
  • Maryline Laurent (Paris, France France)
  • Kaisa Nyberg (Aalto, Finland Finland)
  • Olivier Pereira (Louvain, Belgium Belgium)
  • Martin Stanek (Bratislava, Slovakia Slovakia)
  • Claire Vishik (Wakefield, USA USA)

Student Research Forum

Student Research Forum (SRF) – an integral part of the SOFSEMs conference for a long time – offers student authors opportunity to publish and discuss their projects in the field of theory and practice of Computer Science. The main idea is to give students opportunity to receive a feedback on their scientific work results. Therefore, all student papers will be reviewed and selected by the SOFSEM 2015 Program Committee as contributed papers. If a paper is accepted for the corresponding tracks, it is published in the main Springer LNCS proceedings.

Student papers not accepted to the main proceedings, but still of sufficient high quality, will be accepted to the SOFSEM 2015 Student Research Forum. This gives students opportunity to present their papers in front of 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 for their advisors). Sufficient space for discussion and exchange of experience will be provided and will continue throughout the conference. Best Student Paper and Best Student Presentation will be awarded during the conference.

Back to Top