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.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
