[DMANET] SOFSEM 2025 Call for papers

*************************
**** SOFSEM 2025 ****


50th International Conference on Current Trends in Theory and Practice of Computer Science

January 20 - 23, 2025, Bratislava, Slovakia

http://www.sofsem.sk


Call for Papers

SOFSEM is an annual winter conference devoted to the theory and practice of
computer science. The conference traditionally focuses on the latest results
and developments of fundamental research in computer science (informatics),
inspired by the algorithmic challenges of our time. SOFSEM has a long tradition
as a high-quality research conference, and a venue where researchers from
academia and industry in all stages of their career can share their insights.
The series of SOFSEM conferences began in 1974, and was only interrupted in
2022 due to the covid pandemic. In 2025, at its 50th edition, SOFSEM will be
held as a physical event in Bratislava, Slovakia. 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.

Topics

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

* 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 (incuding 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 (includeing e.g. models, theory, algorithms)
* discrete combinatorial optimization, heuristics, local search, SAT solvers, simulation
* efficient data structures (including e.g. dynamic, geometric, and spatial datastructures)
* 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.

Program Chairs

Vera Kurkova, Czech Academy of Sciences, Prague, Czech Republic
Rastislav Kralovic, Comenius University, Bratislava, Slovakia

Program Committee

Amir Amihood, Bar-Ilan University, Israel
Přemysl Brada, University of West Bohemia, Czech Republic
Tiziana Calamoneri, Sapienza University of Rome, Italy
Ivana Cerna, Masaryk University, Brno, Czech Republic
Jérémie Chalopin, LIS Marseille, France
Marek Chrobak, University of California Riverside, USA
Gianluca De Marco, University of Salerno, Italy
Stefan Dobrev, Slovak Academy of Sciences, Slovakia
Martin Drozda, Slovak University of Technology in Bratislava, Slovakia
Robert Ganian, Technische Universität Wien, Austria
Leszek Gasieniec, University of Liverpool, UK
Cyril Gavoille, LaBRI, Université de Bordeaux, France
Lucjan Hanzlik, CISPA Helmholtz Center for Information Security, Germany
Markus Holzer, Universität Giessen, Germany
Ling-Ju Hung, National Taipei University of Business, Taiwan
Petr Jancar, Palacky University Olomouc, Czech Republic
Galina Jiraskova, Slovak Academy of Sciences, Slovakia
Tomasz Jurdzinski, University of Wroclaw, Poland
Petteri Kaski, Aalto University, Finland
Philipp Kindermann, Universität Trier, Germany
Dennis Komm, ETH Zurich, Switzerland
Daniel Krizanc, Wesleyan University, Middletown, USA
Giuseppe Liotta, University of Perugia, Italy
Alexei Lisitsa, University of Liverpool, UK
Hsiang-Hsuan Liu, Utrecht University, The Nederlands
Alessio Mansutti, IMDEA Software Institute, Spain
Marco Mesiti, University of Milano, Italy
Xavier Munoz Lopez, Universitat Politècnica de Catalunya, Spain
Vangelis Paschos, Université Paris-Dauphine, France
Rajeev Raman, University of Leicester, UK
Peter Rossmanith, RWTH Aachen, Germany
Pawel Sobocinski, Tallinn University of Technology, Estonia
Ulrike Stege, University of Victoria, Canada
Gerth Stølting Brodal, Aarhus University, Denmark

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 either the LaTeX or the Word templates provided
on the authors' page. The length should not exceed 12 pages (excluding
refeernces).

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.

Importand Dates

Submission Deadline: September 15, 2024
Conference: January 20-23, 2025

Steering Committee

Henning Fernau, Trier University, Trier, Germany, chair
Leszek A. Gąsieniec, University of Liverpool, United Kingdom
Serge Gaspers, UNSW Sydney, Australia
Ralf Klasing, CNRS and University of Bordeaux, France
Tiziana Margaria, University of Limerick, Ireland
Mirosław Kutyłowski, NASK – National Research Institute, Warsaw, Poland
Branislav Rovan, Comenius University, Bratislava, Slovakia
Jan van Leeuwen, Utrecht University, Utrecht, The Netherlands
Július Štuller, Academy of Sciences, Prague, Czech Republic
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************