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

Invited speakers:
Slawomir Lasota, Uniwersytet Warszawski, Poland
Gerth Brodal, Aarhus University, Denmark
Věra Kůrková, Czech Academy of Sciences, Czech Republic

Organizing chair:
Peter Gurský, Pavol Jozef Šafárik University in Košice, Slovakia

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

Selected papers will be invited to the special issue of SpringerJournal of Computer and System Sciences (JCSS) devoted to SOFSEM 2023.

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

Sofsem 2023 is organized by Slovak Society for AI, Letná 9, Košice, Slovakia.