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.