About

SOFSEM is the annual winter conference devoted to the theory and practice of computer science. The conference traditionally focuses on the recent results and developments in fundamental research inspired by the challenges in computer science and related fields to design the innovative software systems of our time. SOFSEM has a long history of facilitating the scientific interchange among researchers in all stages of their career. The series of SOFSEM conferences was interrupted in 2022 due to the pandemic, but SOFSEM 2023 will be held again, in scenic Nový Smokovec in the Tatra Mountains (Slovakia).

The renewed scope and format of SOFSEM 2023 is focused entirely on the original research and challenges in

 

Foundations of Computer Science
algorithms, AI-based methods, computational complexity, formal models

 

This includes all recognized core areas of foundational computer science and their interface with applied domains, especially artificial intelligence and data science.
SOFSEM 2023 will consist of invited talks by prominent researchers, contributed talks selected from the submitted papers, and several other activities aimed at overviews and introductions to trends and developments. The program is organized in plenary talks and parallel sessions.

Program chair:
Leszek Gąsieniec, University of Liverpool, UK

Organizing chair:
Peter Gursky, Pavol Jozef Safarik University in Kosice, SK

The proceedings of SOFSEM 2023 are expected to be published in the subseries ARCoSS (Advanced Research in Computing and Software Science) of the Lecture Notes in Computer Science (LNCS) of Springer (see previous SOFSEM volume).

The first SOFSEM was organized in 1974, the list of previous SOFSEMs is available  here.