2024 Annual Conference on Theory and Applications of Models of Computation
(Hong Kong)
Conference website: https://tamc2024.comp.polyu.edu.hk/
Submission site: 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. Some of
the most important theoretical aspects of a model of computation are its
power, generality, simplicity, synthesizability, verifiability, and
expressiveness. The TAMC series of conferences explore 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.
We look forward to welcoming you to Hong Kong in May 2024!
*** 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 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.
**********************************************************
*
* 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
