| |||||||||||||||
TAMC 2020 : Theory and Applications of Models of ComputationConference Series : Theory and Applications of Models of Computation | |||||||||||||||
Link: http://tamc2020.csu.edu.cn/ | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
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 |
|