The 16th Annual Conference on Theory and Applications of Models of Computation (TAMC 2020 http://tamc2020.csu.edu.cn) will be held on May 23-25, 2020 in Changsha, China.
TAMC 2020 aims at bringing together a wide range of researchers with interest 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. The topics of interest include (but are not limited to) the following:
AI modeling
algebraic computation
algorithmic coding and number theory
algorithmic graph theory and combinatorics
algorithms and data structures
approximation algorithms
automata theory
computational biology and biological computing
computational complexity
computational game theory
computational geometry
computer science logic
continuous and real computation
cryptography
domain models
dynamical algorithms
foundations of artificial intelligence
game theory and applications
information theoretical foundation for artificial intelligence
learning theory, and intelligent computing
model theory for computing
network theory and communication networks
online algorithms
optimization
parameterized algorithms
principles for big-data analysis
privacy and security
process models
programming and verification
property testing
quantum computing
randomized algorithms
randomness and pseudo-randomness
streaming algorithms
structural information theory
systems theory
Turing definability
VLSI models of computation
The proceedings of the Conference will be published by Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series, and will be available for distribution at the conference. Selected high quality papers will be invited to one of three special issues of journals, Theoretical Computer Science, Mathematical Structures in Computer Science, and SCIENCE CHINA Information Sciences. The invited papers will go through a normal reviewing process.
Papers must be formatted using the LNCS style file without altering margins or the font point. The maximum length of the paper (including references, but excluding the optional appendix) is 12 pages. Proofs omitted due to space constraints must be placed in an appendix to be read by the program committee members at their discretion. Papers that deviate from these guidelines risk being rejected without consideration of their merits.
Important Dates
Submission deadline: (1 December, 2019) extend to 15 December, 2019 (AoE)
Notification of acceptance: (20 January, 2020) extend to 31 January, 2020
Camera-ready and registration: (10 February, 2020) extend to 15 February, 2020
Conference dates: 23-25 May, 2020