SOFSEM 2015 := 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:
- Foundations of Computer Science
Track Chair: Roger Wattenhofer (ETH Zurich, Switzerland ) - Software & Web Engineering
Track Chair: Tiziana Margaria-Steffen (University of Limerick and the Irish Software Research Center, Lero, Ireland ) - Data, Information and Knowledge Engineering
Track Chair: Jaroslav Pokorný (Charles University in Prague, Czech Republic ) - Cryptography, Security, and Verification
Track Chair: Jean-Jacques Quisquater (Louvain-la-Neuve, Belgium )
For students, there is the:
- Student Research Forum
Track Chair: Roman Špánek (Technical University of Liberec, Czech Republic )
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:
|
Track Program Committee:
|
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:
|
Track Program Committee:
|
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:
|
Track Program Committee:
|
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:
|
Track Program Committee:
|
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.