[Prev][Next][Index][Thread]

Symposium on Domain Theory


The International symposium on Domain Theory 2001 will take place on
the campus of Sichuan University in Chengdu, China, from October 22 to
October 26, 2001 (the first ISDT was held in Shanghai, October 17-24, 1999).  
This conference is intended to be a forum for researchers in domain theory
and its applications. The conference series also aims to broaden its scope 
to mathematical structures for programming and computation.

The invited speakers for ISDT 2001 are include
         
         Pierre-Louis Curien, Ecole Normale Superieure, France
         Abbas Edalat, Imperial College, England
         Martin Escardo, University of Birmingham, England
         Achim Jung, University of Birmingham, England 

A couple of additional invited speakers may be included.
In addition to the invited talks, a mini course will be given by  Abbas
Edalat on applications of domain theory in mathematics. There will be a
special session devoted to types, process algebra and concurrency,
organized by Yuxi Fu. Contributed talks are solicited in the general area
of mathematical structures for programming and computation.  
Topics include, but not limited to:

        Topological and logical aspects of domains
        Categories of domains and powerdomains
        Partial orders and metric spaces
        Applications in databases, mathematics, and AI
        Types, process algebra and concurrency
        Non-classical and partial logics
        Programming language semantics

Slots for contributed talks will be given on a first come, first served
basis. A one page abstract including title, address, and e-mail address
should be sent to  Prof. Guo-Qiang Zhang at gqz@eecs.cwru.edu before June
30,2001. Please e-mail in plain text with header ISDT. The abstracts will be 
distributed at the conference. Authors are expected to submit, after the 
conference, a full paper for the conference proceedings to be published by 
Kluwer in their bookseries Semantics in Computation.

PROGRAM COMMITTEE:
         Ying-Ming Liu,   (Sichuan University, China)
         Mao-Kang Luo,    (Sichuan University, China)
         Jimmie Lawson,   (Louisiana State University, USA)
         Guo-Qiang Zhang, (Case Western Reserve University, USA)
         
ORGANIZING AND LOCAL ARRANGEMENTS COMMITTEE
         Tie-Cheng Lu,    (Sichuan University, China)
         An-Min Li,       (Sichuan University, China)
         Ze Han,          (Sichuan University, China)
         Yixiang Chen,    (Shanghai Normal University, China)

IMPORTANT DATES:
         Abstract:     June 30, 2001
         Registration: July 15, 2001
         Full paper:   Nov. 15, 2001


Registration form, travel and local information, etc., will be posted at
the conference web site  http://vorlon.ces.cwru.edu/~gqz/ISDT.html before 
June 2001.  For further information please contact

             Guo-Qiang Zhang
             Email: gqz@eecs.cwru.edu
             Phone: 216-368-0382
             Fax:   216-368-2801
or
             Mao-Kang Luo
             Email: makaluo@scu.edu.cn
             Phone: 86 28 5415399
             Fax :  86 28 5412125