This volume contains the papers accepted for the Student Research Forum and for the Poster Section at the 42nd Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2016), which was held January 23{28, 2016, in Harrachov, 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 started in 1974 in the former Czechoslovakia as a local conference and winter school combination. The renowned invited speakers and the growing interest of the authors from abroad gradually turned SOFSEM in the mid-1990s into an international conference with proceedings published in the Springer LNCS series, in the last two years in their prestigious subline ARCOSS: Advanced Research in Computing and Software 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 2016 was organized around the following three tracks:
With its three tracks, SOFSEM 2016 covered the latest advances in research, both theoretical and applied, in selected areas of computer science. The SOFSEM 2016 Program Committee consisted of 61 international experts from 22 di erent countries, representing the track areas with outstanding expertise.
An integral part of SOFSEM 2016 was the traditional SOFSEM Student Research Forum (chaired by Roman Spanek), organized with the aim of presenting student projects in both the theory and practice of computer science, and to give the students feedback on the originality of their results. The papers presented at the Student Research Forum were published in separate local proceedings (together with the accepted posters). A copy of these local proceedings is available via CEUR-WS.
In response to the call for papers, SOFSEM 2016 received 150 abstracts and after withdrawals and removal of double and fake submissions, the nal number of submited papers totaled 116 from 38 di erent countries. The submissions were distributed in the conference three tracks as follows: 62 in the Foundations of Computer Science, 21 in the Software Engineering and 33 in the Data, Information, and Knowledge Engineering. From these, 34 submissions fell in the student category.
After a detailed reviewing process (using the EasyChair Conference System for rewieving and discussions), a careful selection procedure was carried out within each track. Following strict criteria of quality and originality, 43 papers were selected for presentation, namely: 27 in the Foundations of Computer Science, six in the Software Engineering and 10 in the Data, Information, and Knowledge Engineering.
Based on the recommendation of the chair of the Student Research Forum, 14 student papers were chosen for the SOFSEM 2016 Student Research Forum. Moreover, ve posters were accepted for poster presentation.
As editors of these proceedings, we are grateful to everyone who contributed to the scienti c program of the conference, especially the invited speakers and all the authors of contributed papers. We also thank the authors for their prompt responses to our editorial requests.
SOFSEM 2016 was the result of a considerable e ort by many people. We would like to express our special thanks to: { The members of the SOFSEM 2016 Program Committee and all external reviewers for their careful reviewing of the submissions { The SOFSEM Steering Committee, chaired by Julius Stuller, for guidance and support throughout the preparation of the conference { The Organizing Committee, consisting of Martin Rimnac (Chair) Pavel Tyl, Dana Kuzelova, Julius Stuller, and Milena Zeithamlova for the generous support and preparation of all aspects of the conference { Springer for its continued support of the SOFSEM conferences { CEUR-WS for publishing the copy of the second volume of the proceedings
We are greatly indebted to the Action M Agency, in particular Milena Zeithamlova, for the local arrangements of SOFSEM 2016. We thank the Institute of Computer Science of the Czech Academy of Sciences for its invaluable support of all aspects of SOFSEM 2016. Finally, we are very grateful for the nancial support of the Czech Society for Cybernetics and Informatics.
Ivana Cerna Miroslaw Kutylowski Jan van Leeuwen Tiziana Margaria-Ste en Brian Matthews Branislav Rovan Petr Saloun
Masaryk University, Brno, Czech Republic Wroclaw University of Technology, Poland Utrecht University, The Netherlands University of Limerick, Ireland STFC Rutherford Appleton Laboratory, UK Comenius University, Bratislava, Slovakia Technical University of Ostrava,
Czech Republic Institute of Computer Science, Academy of Sciences, Czech Republic
Marie-Pierre Beal Ste en Becker Zohra Bellahsene Petr Berka Maria Bielikova Jan Bouda Stephane Bressan
Paris, France Chemnitz, Germany Montpellier, France Prague, Czech Republic Bratislava, Slovakia Brno, Czech Republic Singapore, Republic of Singapore
Prague, Czech Republic Paris, France Klagenfurt, Austria Vienna, Austria Paderborn, Germany Riga, Latvia Bolzano, Italy Genoa, Italy Kaiserslautern, Germany Pori, Finland Carnegie Mellon, Qatar Turku, Finland Sacred Heart University, USA Auckland, New Zealand Palo Alto, USA Kosice, Slovakia Lund, Sweden Liverpool, UK NUS, Singapore Thessaloniki, Greece Bonn, Germany Nice, France Milan, Italy New Castle, UK Bratislava, Slovakia Poznan, Poland Prague, Czech Republic St. Petersburg, Russia Turku, Finland Dublin, Ireland Ioannina, Greece Riga, Latvia Prague, Czech Republic Munich, Germany Valencia, Spain IBM Tokyo, Japan Castello, Spain Istanbul, Turkey Braunschweig, Germany Rome, Italy Malmo, Sweden Thessaloniki, Greece MIT, USA Copenhagen, Denmark Prague, Czech Republic
Matthias Kowal Miroslaw Kowaluk Sergejs Kozlovics Maksims Kravcevs
Marcos Villagra Shenggen Zheng Mansur Ziatdinov
Wieslaw Zielonka SOFSEM 2016 was organized by the Institute of Computer Science of the Czech Academy of Sciences and Action M Agency, Prague.
Institute of Computer Science, Prague,
Czech Republic Technical University Liberec,
Czech Republic Institute of Computer Science, Prague,
Czech Republic Institute of Computer Science, Prague,
Czech Republic Action M Agency, Prague, Czech Republic CSKI { Czech Society for Cybernetics and Informatics SSCS { Slovak Society for Computer Science
Grids of Finite Automata : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 25
Karlis Jerin.s
A Fast Order-Preserving Matching with q-neighborhood Filtration Using SIMD Instructions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 108
Yohei Ueki, Kazuyuki Narisawa, and Ayumi Shinohara Author Index : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 117