Computation and Logic 2005, Kunming

The Second Annual Conference on Computation and Logic will be held at Yunnan Normal University, in Kunming, Yunnan Province, China, from 17th--20th, May 2005. The workshop is part of activities of the N.S.F. (China) Grand International Joint Project, New Directions in Theory and Applications of Models of Computation, no. 60310213.

Invited speakers and tutorials

: Manindra Agawal (Kanpur, India) - Algorithms, computational number theory
: Georgios Barmpalias (Leeds, UK) - computability
: Hans Kleine Büning (Paderborn, Germany) - knowledge-based systems
: Chi Tat Chong (Singapore) - computability
: S. Barry Cooper (Leeds, UK) - computability
: Qi Feng (Beijing, China) - set theory
: Sergey S. Goncharov (Novosibirsk, Russia) - computable mathematics
: Wenqi Huang (Huazhong, China) - algorithms, complexity
: Tao Jiang (UC Riverside, USA) - computational biology, bioinformatics
: Andrew Lewis (Leeds, UK) - computability
: Angsheng Li (Beijing, China) - computability
: Cai Heng Li (Crawley, Australia) - graph theory, combinatorics

: Zuoquan Lin (Beijing, China) - applied logic
: Wai Yan Pong (California SU, USA) - model theory
: Andrea Sorbi (Siena, Italy) - computability
: Kazuyuki Tanaka (Tohoku, Japan) - reverse mathematics
: Osamu Watanabe (Tokyo, Japan) - computational complexity, and applications
: Guohua Wu (Wellington, New Zealand) - computable analysis
: Yue Yang (Singapore) - computability
: Naijun Zhan (China) - logic and formal methods
: Shuguo Zhang (Sichuan, China) - set theory
: Louxin Zhang (Singapore) - bioinformatics, computational biology
: Xishun Zhao (Zhongshan, China) - complexity
: Hong Zhu (Shanghai, China) - complexity

Important dates

The conference organisers encourage submissions of papers for presentation at the conference. Titles and abstracts for all talks (both invited and submitted) should be sent to Professor Angsheng Li before 17th March, 2005.

All participants should register for the conference by contacting Professor Li before May 17, 2005. If you need a visa for your visit, please contact the organisers as soon as possible.

Kunming and Yunnan Province

Kunming is the provincial capital of Yunnan Province, which borders with Myanmar, Laos, and Vietnam to the south. At an elevation of 1,891m, the city is surrounded by mountains on three sides, with one side facing Dianchi Lake. With Wumeng Mountains in the north stemming the south-blowing cold air and moisture in the south from the Bengal Bay warm monsoon, Kunming enjoys a delightfully moderate climate year-round and is reputed to be known as "Spring City." There is a fairly even spread of temperature from April to September (15 C). The city can be visited at virtually any time of the year and one needs to only pack light clothing.
Kunming travel information guide

Programme Committee

Jin-Yi Cai (USA), C. T. Chong (Singapore), S. Barry Cooper (Co-Chair) (Leeds, UK), Decheng Ding (Nanjing, China), Rod Downey (VUW, New Zealand), Qi Feng (CAS, China), S. S. Goncharov (Novosirsk, Russia), Carl G. Jockusch (UIUC, USA), Angsheng Li (Co-chair) (CAS, China), Ming Li (Canada), Youming Xia (Co-Chair) (Kunming, China), Yue Yang (Singapore), Mingsheng Ying (Tsinghua, China).

Local Organisers

For further information contact Professor Angsheng Li (Institute of Software, Chinese Academy of Sciences, Beijing, China), or Professor Youming Xia (Department of Computer Science, Yunnan Normal University, Yunnan Province, China).

Conference sponsors

Institute of Software of the Chinese Academy of Sciences, National Science Foundation of China, Yunnan Normal University, Yunnan NSFC

Page maintained by Barry Cooper
This page was last updated on January 17, 2005