Logic List Mailing Archive

Theory and Applications of Models of Computation (TAMC06), Beijing, China, May 2006

************************************************************************
         Theory and Applications of Models of Computation (TAMC06)
                          Beijing, PR of China

                         Second Call for Papers

                 Conference Dates:  15th - 20th, May, 2006
           Deadline for Submission of Papers:  December 17, 2005

This is the second announcement of Theory and Applications of Models of 
Computation (TAMC06), the third annual meeting of the conference series 
Computation and Logic, sponsored by the National Natural Science Foundation of 
CHINA and Chinese Academy of Sciences, to be held in Beijing, 15th - 20th, May, 
2006.

TAMC06 focuses on mathematical aspects of computer science. Details can be 
found in the conference webpage at:

http://gcl.iscas.ac.cn/accl06/TAMC06_Home.htm

The submission deadline is 17th, December, 2005.

Please go to the full TAMC06 Call For Papers at
   http://gcl.iscas.ac.cn/accl06/TAMC06_CallForPaper.htm
   for more details.

Papers accepted by the Programme Committee will be published in the proceedings 
of the conference, which will appear in the Springer-Verlag Lecture Notes in 
Computer Science series, and will be available for distribution at the 
conference.

Selected papers will also be published in a Special Issue  of the
journal Theoretical Computer Science. Details are at:

http://gcl.iscas.ac.cn/accl06/TAMC06_Publications.htm

For important dates, please see the conference web page.

Submission of papers is via the web address at:

http://gcl.iscas.ac.cn/accl06/TAMC06_Submisson.htm

If you have any question, please contact us at: tamc06@gcl.iscas.ac.cn

TAMC 06 Organisers

Jin-Yi Cai
S. Barry Cooper
Angsheng Li

************************************************************************
Programme Committee: K. Ambos-Spies (Heidelberg), M. Arslanov (Kazan), H. 
Buhrman (Amsterdam), Jin-Yi Cai (Madison), C.S.Calude (Auckland), Chi Tat Chong 
(Singapore), S.B. Cooper (Co-chair, Leeds), Decheng Ding (Nanjing), Y.L. Ershov 
(Novosibirsk), S. Jain (Singapore), C.G. Jockusch (Urbana), S. Lempp (Madison), 
Angsheng Li (Co-chair, Beijing), Ming Li (Waterloo), W. Pohlers (Munster), Feng 
Qi (Beijing), A. Selman (Buffalo), R.A. Shore (Cornell), A. Sorbi (Siena), J.V. 
Tucker (Swansea)
************************************************************************