Theory and Applications of Models of Computation: 19th Annual Conference, TAMC 2025, Jinan, China, September 19-21, 2025, Proceedings

This book constitutes the proceedings of the 19th Annual Conference on Theory and Applications of Models of Computation, TAMC 2025, which was held in Jinan, China, during September 19-21, 2025.

The 32 papers included in these proceedings were carefully reviewed and selected from 71 submissions. They were organized in topical sections as follows: Computational Complexity and Algorithms; Models of Computation; Logic and Proof Theory; Algorithmic Game Theory; Parallel and Distributed Computing; Computational Geometry and Graph Theory; Combinatorial Optimization; Parameterized Algorithms; Continuous Optimization and Lattice Optimization.