Fundamentals of Computation Theory - 25th International Symposium, FCT 2025, Wroclaw, Poland, September 15-17, 2025, Proceedings

This book constitutes the proceedings of the 25th International Symposium on Fundamentals of Computation Theory, FCT 2025, held in Wroclaw, Poland, during September 15 17, 2025.
The 32 full papers included in this volume were carefully reviewed and selected from 50 submissions. They present the fundamentals of computation theory including topics such as algorithms, complexity and formal methods.

Summary

This book constitutes the proceedings of the 25th International Symposium on Fundamentals of Computation Theory, FCT 2025, held in Wrocław, Poland, during September 15–17, 2025.
The 32 full papers included in this volume were carefully reviewed and selected from 50 submissions. They present the fundamentals of computation theory including topics such as algorithms, complexity and formal methods.

Product details

• Assisted by: Artur Jez (Editor), Artur Jeż (Editor), Otop (Editor), Jan Otop (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 20.11.2025
• EAN: 9783032046994
• ISBN: 978-3-0-3204699-4
• No. of pages: 450
• Illustrations: XIII, 450 p. 76 illus., 43 illus. in color.
• Series: Lecture Notes in Computer Science
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; Algorithmen und Datenstrukturen, Bildverarbeitung, Informationstheorie, Mathematik für Informatiker, Combinatorics, clustering, Computer Imaging, Vision, Pattern Recognition and Graphics, Complexity Theory, Data Structures and Information Theory, Mathematics of Computing, Proof theory, Design and Analysis of Algorithms, Graph Theory, combinatorial optimization, Circuit Complexity, Regular Languages, Algebraic language theory, Communication Complexity, Quantum computation theory, Word Combinatorics, Graph algorithms analysis, Computational group theory, String algorithms, Fixed parameter tractability, Cryptographic primitives, Dynamic data structures