| |||||||||
SOFSEM 2025 : International Conference on Current Trends in Theory and Practice of Computer ScienceConference Series : Conference on Current Trends in Theory and Practice of Informatics | |||||||||
Link: http://www.sofsem.sk | |||||||||
| |||||||||
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 |
|