TAMC 2025: Call for Papers

The 19th Annual Conference on Theory and Applications of Models of Computation (TAMC 2025) will be held on September 19-21, 2025, in Jinan, China.

TAMC 2025 aims to bring together a wide range of researchers with interests in computational theory, information theory, and applications. The main themes of the conference are computability, complexity, algorithms, information theory, and their extensions to machine learning theory and foundations of artificial intelligence.

Topics of Interest

The topics of interest include (but are not limited to):

• Computational complexity and algorithms
• Models of computation
• Automata theory and formal languages
• Quantum computing
• Algorithmic game theory
• Cryptography and data security
• Computational biology and bioinformatics
• Parallel and distributed computing
• Formal verification and program analysis
• Computational geometry and graph theory
• Logic and proof theory
• Computational social choice
• Combinatorial optimization

Important Dates

• Submission deadline: May 25, 2025 / June 1, 2025
• Notification of acceptance: July 1, 2025
• Camera-ready and registration: July 15, 2025
• Conference dates: September 19-21, 2025

Paper Submission

Submissions should contain a scholarly exposition of ideas, techniques, and results, including motivation and a clear comparison with related work. The length of the submission should not exceed 12 pages in LNCS style (including references, but excluding the optional appendix).

Appendices should be placed at the end of the main body (after references, in the same file). For code and data, authors can provide anonymous download links or refer to an anonymized GitHub repository.

The submitted papers will be reviewed in a double-blind peer review manner. Please delete the author information on your manuscript.

All submissions must be submitted electronically through Easychair: https://easychair.org/conferences/?conf=tamc2025

Publication

The proceedings of the Conference will be published by Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series. Selected high-quality papers will be invited to Theoretical Computer Science, and other journals.

Awards

Awards will be given to the best paper and the best student paper. To be eligible for the best student paper award, all authors must be full-time students at the time of submission. Please indicate in the final line of the abstract that the paper is being considered for the best student paper award.

Contact

• Emails: tamc2025@163.com
• Emails: tamc2025jn@gmail.com