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

Announcement for ISDT'99



         INTERNATIIONAL SYMPOSIUM ON DOMAIN THEORY (ISDT '99)
                 October 17-24, 1999, Shanghai, China

          In cooperation with
                  Sichuan University,
                  Shanghai Normal University, and
                  Mathematical Center of Ministry of Education

The '99 International symposium on Domain Theory will take place on
the campus of Shanghai Normal University in Shanghai, China from
October 17 to October 24, 1999. This conference is intended to be a
forum for researchers in domain theory and its applications.

The invited speakers for ISDT '99 are:

      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

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
       
A one page abstract including title, address, and e-mail address
should be e-mailed to  Prof. Guo-Qiang Zhang at gqz@cs.uga.edu before
May 15, in plain text and with header ISDT. The abstract should contain
a brief description of original work not appeared before elsewhere.
An URL  containing the electronic version of the paper in postscript
should be provided in the abstract when available. Authors are expected
to submit, after the conference, a full paper to be refereed for =
possible
inclusion in the conference proceedings.

PROGRAM COMMITTEE:
   Ying-Ming Liu,   (Chair, Sichuan University, China)
   Yixiang Chen,    (Co-Chair, Shanghai Normal University, China)
   Klaus Keimel,    (Co-Chair, Darmstadt University of =
Technology,Germany)
   Guo-Qiang Zhang, (Co-Chair, University of Georgia, USA)

ORGANIZING COMMITTEE
      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)

IMPORTANT DATES:
      Abstract:         May 15, 1999
      Notification:     June 15, 1999
      Pre-registration: May 20, 1999
      Full paper:       Nov. 5, 1999

The conference registration fee is $300, which covers all meals
and two sightseeing tours. Participants can stay in the guests hotel
on the campus of Shanghai Normal University which provides quality
accommodation at a reasonable price ($25/night). Early pre-registration
is encouraged to allow time for visa processing.
        
Registration forms, travel and local information, etc., will be posted
at the conference web site 
             http://www.cs.uga.edu/~gqz/ISDT.html
when available. For further information please contact

             Dr. Yixiang Chen
             Email: ychen@shtu.edu.cn
             Phone: 86 21 64322505
             Fax : 86 21 64323364