|
|
|
|
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
|
