The 4th Annual Conference on Theory and Applications of Models of Computation(TAMC07) will be held in Shanghai, China, May 22 to 25, 2007. Three previous annual meetings were held in 2004, 2005 and 2006, with enthusiastic participation from researchers all around the world. (The web site for TAMC06 can be found at http://gcl.iscas.ac.cn/accl06/TAMC06_Home.htm.)
The three main themes of the conference TAMC07 will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest 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, and parallel algorithms, natural computation, models of computation, automata and neural networks, continuous and real computation, computable mathematics, relative computability and degree structures, Turing definability, generalised and higher type computation, proofs and computation, physical computability, decidability and undecidability. More information about the conference is available on the TAMC07 web site.
Submission and Publication
Authors should submit an extended abstract(not a full paper). The submission should contain a scholarly exposition of ideas, techniques, and results, including motivation and a clear comparison with related work. The length of the extended abstract should not exceed ten(10) letter-sized pages(not including bibliography, appendices and figures.)
Submitted papers must describe work not previously published. They must not be submitted simultaneously to another conference with refereed proceedings. Research that is already submitted to a journal maybe submitted to TAMC07,providedthat(a) the PC chair is notified in advance that this is the case, and(b) it is not scheduled for journal publication before the conference.
Accepted papers will be published in the conference proceedings, in the LNCS Series by Springer. Authors of accepted papers are expected to present their work at the conference. Special issues of Theoretical Computer Science and Mathematical Structures in Computer Science devoted to a selected set of accepted papers of the conference are planned.
Important dates
Submission deadline: Papers must be received electronically by 11:59 pm EST Dec. 28, 2006.
Notification: Acceptance or rejection decisions will be sent by Feb. 12, 2007.
Final versions: Final versions of accepted papers are due on March 7, 2007.
Abstract submission
Authors are required to submit their extended abstracts electronically. A detailed description of the electronic submission process is available at the conference web site.
PC Chair
Jin-Yi Cai (University of Wisconsin, Madison)
jyc@cs.wisc.edu
PC co-Chair
Barry Cooper (University of Leeds, Leeds)
pmt6sbc@maths.leeds.ac.uk
Hong Zhu (Fudan University, Shanghai)
hzhu@fudan.edu.cn
PC members
Giorgio Ausiello (Rome, Italy)
Eric Bach (UW Madison)
Nicolo Cesa-Bianchi (Milano, Italy)
Jianer Chen (Texas A&M University)
Yijia Chen (Shanghai Jiaotong University)
Francis Chin (Hong Kong)
C.T. Chong (Singapore)
Kyung-Yong Chwa (KAIST, Korea)
Decheng Ding (Nanjing University)
Rod Downey (Wellington)
Martin Dyer (Leeds)
Rudolf Fleischer (Fudan University)
Oscar Ibarra (UC Santa Barbara)
Hiroshi Imai (University of Tokyo)
Kazuo Iwama (Kyoto University)
Tao Jiang (University of California-Riverside/Tsinghua, Beijing)
Satyanarayana Lokam (Microsoft Research-India)
D T Lee (Academia Sinica, Taipei)
Angsheng Li (Institute of Software, CAS)
Giuseppe Longo (Paris, France)
Tian Liu (Beijing University)
Rudiger Reischuk (Universitat zu Lubeck)
Rocco Servedio (Columbia University)
Alexander Shen (Institute for Information Transmission Problems, Moscow)
Yaoyun Shi (Universityof Michigan, Ann Arbor)
Ted Slaman (UC Berkeley)
Xiaoming Sun (Tsinghua University)
Luca Trevisan (UC Berkeley)
Christopher Umans (Cal Tech)
Alasdair Urquhart (University of Toronto)
Hanpin Wang (Beijing University)
Osamu Watanabe (Tokyo Institute of Technology)
Zhiwei Xu (Institute of Computing Technology, CAS)
Frances Yao (City University of Hong Kong)
Mingsheng Ying (Tsinghua University, Beijing)
For TAMC07, we gratefully acknowledge the generous support of the Information School of Fudan University. |
