Atlas home || Conferences | Abstracts | about Atlas
Host: Shanghai Normal University
Sponsor: Sichuan University, Shanghai Normal University, Mathematics Center of the Ministry of Education
Homepage: http://www.cs.uga.edu/~gqz/ISDT.html
Organizers: De-Guang Yang (Chair, Shanghai Normal University, China), Mao-Kang Luo (Co-Chair, Sichuan University, China), Guo-Rong Wang (Co-Chair, Shanghai Normal University, China)
Description:
Topics of interest
In addition to the two-hour invited talks, a number of invited participants will give 45min presentations. There will be a special session devoted to types and concurrency. Contributed talks are solicited in the general area of domain theory and its applications. Topics include:
Topological and logical aspects of domains Categories of domains and powerdomains Partial orders and metric spaces Applications in databases, mathematics, and AI Applications in types and concurrency Non-classical and partial logics Programming language semantics
Speakers: Klaus Keimel (Darmstadt University of Technology, Germany), Jimmie Lawson (Louisiana State University, USA), Ji-Hua Liang (Sichuan University, P.R. China), Guo-Qiang Zhang (University of Georgia, USA)
Mail Address:
Dr. Yixiang Chen (ISDT '99) Department of Mathematics Shanghai Normal University Shanghai 200234 Peoples Republic of China Email: ychen@shtu.edu.cn Phone: 86 21 64322505 Fax : 86 21 64323364
Date received: June 11, 1999
© 2008 Atlas Conferences Inc.