[TYPES/announce] TAMC 2009 - final Call for Papers
S B Cooper
pmt6sbc at maths.leeds.ac.uk
Mon Jan 19 15:27:49 EST 2009
Final Call for Papers: TAMC 2009
ChangSha, China
May 18-22, 2009.
Deadline for submissions: February 1, 2009
http://netlab.csu.edu.cn/TAMC09/
The 6th Annual Conference on Theory and Applications of Models of
Computation (TAMC'09) will be held in ChangSha, P.R. China, from May 18 to
May 22, 2009. Five previous annual meetings were held in 2004-2008, in
Beijing, Shanghai, and Xi'an, with enthusiastic participation from
researchers all around the world.
The three main themes of the conference TAMC'09 will continue to be
Computability, Complexity, and Algorithms.
It aims to bring together researchers with interests in theoretical
computer science, algorithmic mathematics, and applications to the
physical sciences. Typical but not exclusive topics of interest include:
algorithms and data structures, computational complexity, cryptography,
computational geometry, computational game theory, algorithmic graph
theory and combinatorics, algorithmic algebra, number theory and coding
theory, learning theory, computational biology, theoretical problems in
networks and security, quantum computing, randomness, on-line algorithms,
parallel algorithms, natural computation, models of computation, automata
and neural networks, continuous and real computation, computable
mathematics, relative computability and degree structures, Turing
definability, generalized and higher type computation, proofs and
computation, physical computability, decidability and undecidability.
Important Dates:
Submission deadline: Feb. 1, 2009
Notification of acceptance: March 1, 2009
Final version due: March 20, 2009
Plenary Speakers:
Leslie Valiant, Harvard University, USA
Moshe Vardi, Rice University, USA
Matthew Hennessy, Trinity College, Ireland
Special Session:
Special Invited Session on Models of Computation
(Organizing Chair: S. Barry Cooper, Univ. of Leeds, UK)
Special Invited Session on Algorithms and Complexity
(Organizing Chair: Iyad A. Kanj, DePaul Univ., USA)
Please visit the conference website http://netlab.csu.edu.cn/TAMC09/
or contact Jianer Chen chen at cs.tamu.edu for detailed information.
More information about the Types-announce
mailing list