Call for Papers
The 18th Annual Conference on Theory and Applications of Models of Computation (TAMC 2024) will be held on May 13th – 15th, 2024 in Hong Kong, China.TAMC 2024 aims at bringing together a wide range of researchers with interests in computational theory and applications. The main themes of the conference are computability, complexity, algorithms, models of computation and systems theory. Submissions are invited in (but not limited to) the following topics:
- 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
- Paper Submission Deadline: December 8th, 2023 (Anywhere on Earth)
- Notification of Acceptance: February 1st, 2024
- Offline Conference: May 13th – 15th, 2024
Submission Guidelines
The submission should contain scholarly exposition of ideas, techniques, and results, including the motivation and a clear comparison with related work. Submitted papers must describe work not previously published. They must not be submitted simultaneously to any other conference with refereed proceedings or to journals. We regard the following case as a simultaneous submission. Submission of drafts which contain the essentially same results from papers under review in other conferences or journals at the moment of the submission.
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. Only electronic submission will be allowed via the EasyChair online conference system.
Submission link: EasyChair
Publication
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 for submission to Information and Computation, Theoretical Computer Science, Theory of Computing Systems, and Acta Informatica, with the submission deadline being shortly after the conference. Submissions will undergo a standard peer review process according to the usual editorial standards of the journal.
Copyright
All the authors with accepted papers must sign and submit the license-to-publish form.