SOFSEM 2021 - 47th International Conference on Current Trends in Theory and Practice of Computer Science

We all hope that in January 2021 the situation is back to normal and that SOFSEM 2021 can be hold in Bozen-Bolzano. However, the PC will monitor the situation, and for the case that the standard organization is impossible, the conference will be virtual (as many other conferences in these days). Therefore, the paper selection and reviewing process will run as usual, and the accepted papers will be published by Springer in the ARCoSS/LNCS series, independent of the way the conference will be hold.
SOFSEM (SOFtware SEMinar) is an annual international winter conference devoted to the theory and practice of computer science. It presents the latest results and developments in academic and industrial research in leading areas of the field. The first SOFSEM was organized in 1974.
SOFSEM consists of invited talks by prominent researchers, of contributed talks selected from the submitted papers, and of the Student Research Forum. The program is organized in plenary talks and parallel tracks devoted to original research in the selected research areas. SOFSEM has a long-standing tradition of facilitating discussions and collegial interactions. It is well-known for its familiar and inspiring atmosphere and as a meeting place for active and leading computer scientists. SOFSEM is governed by the Steering Committee.
SOFSEM is a track – based conference. It features the traditional track on foundations of computer science and a number of other tracks that over the years have evolved to cover and address contemporary important areas, such as artificial intelligence, cryptography, security, verification, data science, knowledge engineering, social computing and human factors, software and web engineering, etc. The proceedings are published in the prestigious ARCoSS (Advanced Research in Computing and Software Science) subseries of Springer’s Lecture Notes in Computer Science (LNCS) series.