posted by organizer: jotop || 211 views || tracked by 1 users: [display]

FCT 2025 : 25th International Symposium on Fundamentals of Computation Theory

FacebookTwitterLinkedInGoogle


Conference Series : Fundamentals of Computation Theory
 
Link: https://fct2025.cs.uni.wroc.pl/home
 
When Sep 15, 2025 - Sep 17, 2025
Where Wrocław, Poland
Submission Deadline May 6, 2025
Notification Due Jun 30, 2025
Final Version Due Jul 4, 2025
Categories    algorithms   complexity   formal methods
 

Call For Papers

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.
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.

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

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

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)

Related Resources

IEEE-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
ECTA 2025   17th International Conference on Evolutionary Computation Theory and Applications
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
FCTA 2025   17th International Conference on Fuzzy Computation Theory and Applications
IEEE-Ei/Scopus-CNIOT 2025   2025 IEEE 6th International Conference on Computing, Networks and Internet of Things (CNIOT 2025) -EI Compendex
NCTA 2025   17th International Conference on Neural Computation Theory and Applications
IEEE CNCIT 2025   2025 4th International Conference on Networks, Communications and Information Technology (CNCIT 2025)
Integrating Embodied Intelligence and Io 2025   Intelligent Computing: Special Issue: Advanced Intelligent Computation for Integrating Embodied Intelligence and IoT Systems
FASSI 2025   The Eleventh International Conference on Fundamentals and Advances in Software Systems Integration
IEEE CACML 2025   2025 4th Asia Conference on Algorithms, Computing and Machine Learning (CACML 2025)