SOFSEM 2025: Call for Papers

The 50th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2025) will be held from January 20 - 23, 2025, in Bratislava, Slovakia.

SOFSEM is an annual winter conference devoted to the theory and practice of computer science, focusing on fundamental research in computer science (informatics) inspired by algorithmic challenges. The conference will be a physical event.

Topics

The program committee encourages submission of original research papers in all areas of foundations of computer science and artificial intelligence, including:

• AI-based algorithms and techniques
• Algorithms (approximation, combinatorial, exact, online, parameterized, probabilistic, streaming, etc.)
• Automata (cellular, finite, networked, etc.), languages, machine models, rewriting systems
• Computability, decidability, classical and non-classical models of computation
• Computational complexity (including e.g. communication, descriptional, fine-grained, Kolmogorov, non-uniform, fixed-parameter and structural complexity)
• Computational geometry
• Computational learning
• Cryptographic techniques and security
• Data compression algorithms
• Data- and pattern mining methods (including e.g. models, theory, algorithms)
• Discrete combinatorial optimization, heuristics, local search, SAT solvers, simulation
• Efficient data structures (including e.g. dynamic, geometric, and spatial data structures)
• Experimental algorithmics, applications
• Formal models of systems (including e.g. concurrent, hybrid, reactive, mobile, net-based, and timed systems)
• Graph structure and algorithms
• Intelligent algorithms
• Logics of computation, process models, program synthesis
• Machine learning theory
• Multi-agent algorithms and games
• Nature-inspired computing
• Network science
• Neural network theory
• Parallel and distributed computing
• Quantum computing
• Robotics
• Structural complexity
• Visualization algorithms (including e.g. graph drawing, network layout)

...and other relevant theory topics in computing and AI.

Submission Guidelines

• Papers should be submitted electronically through EasyChair.
• Submissions should be prepared in accordance with Springer’s Instructions for Authors of Proceedings, and use the LaTeX template provided on the authors’ page.
• The length should not exceed 12 pages (excluding references).
• No prior publication or simultaneous submission to other conferences or journals are allowed (except preprint repositories such as arXiv or workshops without formal published proceedings).
• There is no need to anonymize the submissions.

Important Dates

• Submission Deadline: September 15, 2024 (abstract)
• Submission Deadline: September 22, 2024 (full papers)
• Authors' notification: November 12, 2024
• Conference: January 20-23, 2025

Awards and Publications

• The conference will present a Best Paper Award.
• Authors of selected papers presented at the conference will be invited to submit extended versions to a special issue of the Journal of Computer and System Sciences.
• The proceedings will be published in the subseries ARCoSS (Advanced Research in Computing and Software Science) of the Lecture Notes in Computer Science (LNCS) of Springer.

Registration

Attendee	Early (until December 20)	Late (from December 20)
Regular / Single room	950€	1000€
Regular / Double room	795€	845€
Student / Single room	850€	900€
Student / Double room	695€	745€

The registration fee includes access to lectures, a social dinner, accommodation (arrival on January 19, departure on January 24), and full board (starting with dinner on January 19 and ending with breakfast on January 24).

Complete your registration online by filling out this form: SOFSEM 2025 registration

Contact

For any questions, please contact the organizers at sofsem2025@sofsem.sk.