FCT 2025 Call for Papers

==============================

OVERVIEW

The International Symposium on Fundamentals of Computation Theory (FCT), has been established in 1977 as a forum for researchers interested in all aspects of theoretical computer science. It is a biennial series of conferences, recently held in Copenhagen (Denmark, 2019) Athens, (Greece, 2021) and Trier (Germany, 2023).

The 25th International Symposium on Fundamentals of Computation Theory (FCT 2025) will be held on September 15th-17th at the Institute of Computer Science, University of Wrocław, Poland.

https://fct2025.cs.uni.wroc.pl

fct2025@cs.uni.wroc.pl

==============================

IMPORTANT DATES

* May 6th, 2025: Paper submission deadline
* June 30th, 2025: Author notifications
* July 4th, 2025: Final papers due
* September 15th-17th, 2025: FCT conference dates

==============================

VENUE

* University of Wrocław, Institute of Computer Science, Poland

==============================

SUBMISSIONS

We invite submissions on all topics in broadly understood theoretical computer science.

Papers are to be submitted electronically through EquinOCS submission server operated by Springer, the publisher of the proceedings.
Submission page: https://equinocs.springernature.com/service/fct2025
The accepted papers will be published in ARCoSS subseries of Lecture Notes in Computer Science (LNCS) series.

The submissions should be at most 12 pages long, including the references and excluding a clearly marked appendix,
which can be read by the reviewers and can be consulted by the program committee.

Submissions should use the LNCS style (LaTeX, Word).

No prior publication or simultaneous submission to other conferences nor journals are allowed;
this does not include publication in preprint repositories, e.g. arXiv, or venues without published proceedings.

A Best Paper and Best Student Paper will be awarded.
To qualify for considerations for Best Student Paper, all authors must be students at the moment of submission.

At least one author of accepted paper should register and present the paper in person during the conference.

Submissions of papers authored (or co-authored) by PC members are allowed.

FCT 2025 will use a single-blind reviewing process.

==============================

LIST OF TOPICS:
(Not Exclusive)

* Algorithmic Game Theory
* Algorithmic Learning Theory
* Algorithmic Randomness
* Algorithms and Data Structures
* Algorithms for Big Data
* Approximation Algorithms
* Automata Theory
* Average-Case Analysis
* Combinatorics and Graph Theory
* Combinatorial Generation, Enumeration and Counting
* Combinatorial Optimization
* Combinatorics on Words
* Complexity Theory
* Computational Biology
* Computational Geometry
* Computational Learning Theory
* Computational Social Choice
* Computability, Recursion Theory
* Concurrency
* Data Compression
* Database Theory
* Descriptional Complexity
* Discrete Event Systems
* Discrete Optimization
* Distributed, Parallel and Network Algorithms
* Energy-Aware Algorithms
* Error-Correcting Codes
* Fine-grained Complexity
* Formal Languages
* Formal Specification and Verification
* Foundations of Artificial Intelligence and Machine Learning
* Graph Algorithms and Modelling with Graphs
* Graph Drawing and Graph Labeling
* Grammatical Inference
* Integer and Linear Programming
* Logic in Computer Science
* Model-Checking
* Models of Computation
* Network Theory and Temporal Graphs
* Online Algorithms
* Parameterized Algorithms and Complexity
* Probabilistic and Randomized Algorithms
* Program Semantics
* Quantum Algorithms
* String Algorithms
* Sublinear Time and Streaming Algorithms
* Telecommunication Algorithms
* Theorem Provers and Automated Reasoning
* Voting Theory

==============================

INVITED SPEAKERS

* Bernhard Haeupler (ETH & INSAIT Sofia University)
* Sławomir Lasota (University of Warsaw)
* Inbal Talgam-Cohen (Technion)

==============================

PROGRAM COMMITTEE

* Alexander Belov (University of Latvia)
* Kristóf Bérczi (Eötvös Loránd University)
* Johanna Björklund (Umeå University)
* Hubie Chen (King's College London)
* Wojciech Czerwiński (University of Warsaw)
* Christoph Dürr (CNRS & Sorbonne University)
* Piotr Faliszewski (AGH University)
* Maribel Fernández (King's College London)
* Gabriele Fici (University of Palermo)
* Celina Figueiredo (UFRJ)
* Joanna Fijalkow (CNRS & LaBRI)
* Moses Ganardi (MPI SWS)
* Leszek Gąsieniec (University of Liverpool)
* Petr Golovach (University of Bergen)
* Meng He (Dalhousie University)
* Mika Hirvensalo (University of Turku)
* Petr Hliněný (Masaryk University)
* Tomohiro I (Kyutech)
* Rasmus Ibsen-Jensen (University of Liverpool)
* Artur Jeż (University of Wrocław) co-chair
* Marek Klonowski (Wrocław University of Science and Technology­)
* Anish Mukherjee (University of Liverpool)
* Jan Otop (University of Wrocław) co-chair
* Tatjana Petrov (University of Trieste)
* Vladimir Podolskii (Tufts University)
* Mahsa Shirmohammadi (CNRS & IRIF)
* Oskar Skibski (University of Warsaw)
* Krzysztof Sornat (AGH University)
* Ugo Vaccaro (UNISA)
* Armin Weiß (University of Stuttgart)
* Andreas Wiese (TU Munich)
* Dominik Wojtczak (University of Liverpool)

We hope to see you all in Wrocław!

Artur Jeż
Jan Otop
(Institute of Computer Science, University of Wrocław, Poland)
fct2025@cs.uni.wroc.pl