Logic List Mailing Archive

Theory and Applications of Models of Computation (TAMC) 2007, May 22-25, 2007, Shanghai (China)

CALL FOR PAPERS

Theory and Applications of Models of Computation (TAMC)

http://www.tamc2007.fudan.edu.cn/  May 22--25, 2007

Shanghai, China

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 TAMC 07 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 may be submitted to TAMC07, provided that (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. 18, 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.

Plenary speakers:

Miklos Ajtai (IBM Research)
Juris Hartmanis (Cornell University)

Program committee

PC Chair:

Jin-Yi Cai (University of Wisconsin, Madison)  jyc@cs.wisc.edu

PC co-Chairs:

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 AM 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 (University of Michigan, Ann Arbor)
Ted Slaman (UC Berkeley)
Xiaoming Sun  (Tsinghua University)
Shanghua Teng  (Boston 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.