47th International Conference on Current Trends in Theory and Practice of Computer Science    Bolzano-Bozen, Italy    January 25 - 29, 2021

Welcome to SOFSEM 2021

Welcome to the home of the 47th International Conference on Current Trends in Theory and Practice of Computer Science.

The Proceedings are available here.

In light of the current situation with COVID-19 and the unpredictable developments on both health and travel restrictions, the SOFSEM Steering Committee and the SOFSEM 2021 Organizing Committee have decided to run SOFSEM 2021 as fully virtual conference. The program and the details about how to access the presentations will be announced in the due time.

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.

Johann Gamper and Claus Pahl (General Chairs)