Important Dates
- October 25, 2013
Deadline for Final Proceedings Versions - November 23, 2013
Deadline for Early Registration - November 26, 2013
Deadline for Payment of Early Registration Fee - January 25-30, 2014
Conference
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
|
Software and Web Data Engineering
|
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.