Profile and Topics

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. 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. Typical topics include (but are not limited to):

  • Algorithms and data structures, icluding approximation, distributed, number-theoretic, online, parallel, randomized, and sequential algorithms, games, and algorithms on graphs
  • Automata and formal languages, including grammars and rewriting
  • Complexity theory, including computational, descriptional, and parametrized
  • Decidability and undecidability questions
  • Discrete mathematics related to computer science
  • Logic in computer science, including program semantics and verification
  • Quantum computing, algorithms, and complexity
  • Theory of databases, semi-structured data, and finite model theory
  • Theory of programming languages

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. Typical 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

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. Typical topics include (but are not limited to):

  • Data integration
  • Databases and database architectures
  • Multimedia databases and multimedia retrieval
  • Information retrieval
  • Knowledge modeling and processing, knowledge acquisition and engineering
  • Machine learning, knowledge discovery and data mining
  • Provenance and trust in data management and knowledge engineering
  • Intelligent agents, multi-agent systems
  • Semantic web technologies
  • Ontology engineering and ontology dynamics
  • Linked data and open data
  • Information and knowledge visualization

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. Typical topics include (but are not limited to):

  • Cryptographic protocols and primitives
  • Trusted and trustworthy computing
  • Trusted hardware and virtualization
  • Cloud computing security
  • Trust management
  • System security
  • Privacy and anonymity
  • Data centric security and content protection
  • Software security and secure software engineering
  • Software verification and model checking
  • Formal methods in software security and reliability
  • Program analysis, testing and runtime analysis

Student Research Forum

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

Student papers of sufficient high quality but not accepted for the regular track, will be accepted to the SOFSEM 2014 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.