International Conference on Mathematical Logic
     ------ The 8th Asian Logic Conference

Southwest China Normal University, Chongqing, Aug. 29 -September 2, 2002

Topics: Recursion Theory, Set Theory, Model Theory, Proof Theory and non-classical Logic, Computer Science

Academic Committee: Decheng Ding (Chairman), Nanjing University,China
Mariko Yasugi, Kyoto Sangyo University, Japan
Hiroakira Ono, Adv. Inst. Sci. & Tech., Japan
Chi Tat Chong, National University of Singapore
John N. Crossley, Monash University
Shih-Ping Tung, Chung-Yuan Christian University
Rodney G. Downey, Inst. of Math., Victoria University
Qi Feng, Inst. of Math., Chinese Academy of Sciences
Wei Li, Beijing University of Aeronautics & Astronautics

Organizing Committee: Yuhui Qiu(Chairman), Southwest China Normal University
Weiqun Zhang(Vice-chairperson), Southwest China Normal University
Mingyi Zhang, Southwest China Normal University
Fuxing Shen, Southwest China Normal University
Shier Ju, Zhongshan(SunYat-sen) University
Guiyun Chen, Southwest China Normal University
Yuanhu Li, Southwest China Normal University
Jijian Cao, Southwest China Normal University
Yan Tang, Southwest China Normal University

Person to Contact: Yan Tan <ytang@swnu.edu.cn>
Faculty of Computer & Information Science,
Southwest China Normal University, Chongqing, P.R.China
Tel: +86-23-68254163
Fax: +86-23-68254164

 
 

 
 
Please send your suggestions and comment to: icmsec@beijing.icm2002.org.cn
Last modified: Mar. 18, 2002

2002 © Copyright by Chinese Mathematical Society. All Rights Reserved