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.


Important Dates

June 28, 2013: Submission Deadline
September 27, 2013: Notification about Acceptance
October 25, 2013: Deadline for Final Proceedings Versions
January 25-30, 2014: Conference