Call for Papers |
|
2024 Annual Conference on Theory and Applications of Models of Computation (Hong Kong)
Conference website: https://tamc2024.comp.polyu.edu.hk/ Submission website: https://easychair.org/conferences/?conf=tamc2024 Paper submission deadline: December 8, 2023 (AoE) Notification: February 1st, 2024 (AoE) Conference: May 13–15, 2024 *** About *** Theory and Applications of Models of Computation (TAMC) is a series of annual conferences that aims to bring together a wide range of researchers with interests in computational theory and its applications. These conferences have a strong interdisciplinary character and are distinguished by an appreciation of mathematical depth and scientific approaches. The conference explores the algorithmic foundations, computational methods, and computing devices to meet the rapidly emerging challenges of complexity, scalability, sustainability, and interoperability, with wide-ranging impacts on virtually every aspect of human endeavor. The TAMC conference series was initiated in 2004 in Beijing, China. Subsequent TAMC conferences have been held in Kunming, China (2004), Beijing, China (July 2006), Shanghai, China (2007), Xi'an, China (2008), Changsha, China, (2009), Prague, Czech Republic (2010), Tokyo, Japan (2011), Beijing, China (2012), Hong Kong, China (2013), Chennai, India (2014), Singapore (2015), Bern, Switzerland (2016, 2017), Kitakyushu, Japan (2019), Changsha, China (2020), Tianjin, China (2022). In 2024, TAMC will return to Hong Kong as a fully offline conference. The conference will offer a platform for researchers interested in computational theory and applications to exchange ideas and present their work. The main themes of the conference are computability, algorithms, complexity, models of computation, and systems theory. *** Main Topics *** 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 *** 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 have the chance to be invited for submission to special issues of 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. |
Credits and Sources |
| [1] TAMC 2024 : 2024 Theory and Applications of Models of Computation |
