[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
==================================================== Call for Papers: TAMC 2009 ChangSha, China May 18-22, 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 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 c...@cs.tamu.edu for detailed information.