SOFSEM-SP 2015. Vol 2. Student Research Forum Papers and Posters at SOFSEM 2015

0442767 - ÚI 2016 RIV DE eng G - Proceedings (international conference)
Italiano, G.F. (ed.) - Margaria-Steffen, T. (ed.) - Pokorný, J. (ed.) - Quisquater, J.J. (ed.) - Wattenhofer, R. (ed.) - Špánek, R. (ed.) - Řimnáč, Martin (ed.)
SOFSEM-SP 2015. Vol 2. Student Research Forum Papers and Posters at SOFSEM 2015.
Aachen: Technical University & Prague: Institute of Computer Science AS CR, 2015. 163 s. CEUR Workshop Proceedings, 1326. ISBN 978-80-87136-20-1. ISSN 1613-0073.
[Sofsem 2015. International Conference on Current Trends in Theory and Practice of Computer Science /41./. Pec pod Sněžkou (CZ), 24.01.2015-29.01.2015]
Institutional support: RVO:67985807
Keywords : Foundations of Computer Science * Software and Web Engineering * Data, Information, and Knowledge Engineering * Cryptography, Security, and Verification
Subject RIV: IN - Informatics, Computer Science
http://ceur-ws.org/Vol-1326/

SOFSEM-SP 2015. Vol 2. Student Research Forum Papers and Posters at SOFSEM 2015 contains the papers accepted for the Student Research Forum and Poster section at the 41st Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2015), which was held January 24-29, 2015, in Pec pod Sněžkou, in the Czech Republic. SOFSEM (originally SOFtware SEMinar) is devoted to leading research and fosters cooperation among researchers and professionals from academia and industry in all areas of computer science. SOFSEM became a well-established and fully international conference maintaining the best of its original winter school aspects, such as a higher number of invited talks and an in-depth coverage of novel research results in selected areas of computer science. SOFSEM 2015 was organized around the following four tracks: Foundations of Computer Science (chaired by Roger Wattenhofer), Software and Web Engineering (chaired by Tiziana Margaria), Data, Information, and Knowledge Engineering (chaired by Jaroslav Pokorný), Cryptography, Security, and Verification (chaired by Jean-Jacques Quisquater).
Permanent Link: http://hdl.handle.net/11104/0245611