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

International Symposium on Domain Theory (ISDT '03)



Preliminary Announcement: ISDT'03

The 3rd International Symposium on Domain Theory

September 19-23, 2003, Xi'an, China
************************************************************************

The International symposium on Domain Theory 2003 will take place on the
campus of Shaanxi Normal University in Xi'an, China, from September 19
to September 23, 2003 (the first ISDT was held in Shanghai, October 
17-24,
1999, and the second ISDT was held in  Chengdu, China, October 22-26, 
2001).
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
of applications in computer science and mathematics.

INVITED SPEAKERS (CONFIRMED)

          Samson Abramsky, Oxford University, England
          Jimmie Lawson, Louisiana State University, USA
          Prakash Panangaden, McGill University, Canada
          Vaughan Pratt, Stanford University, USA
          Glynn Winskel, University of Cambridge, England
          Guo-Qiang Zhang, Case Western Reserve University, USA

TOPICS OF INTEREST

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

SUBMISSION

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
April 30, 2003. Please e-mail in plain text with header ISDT03.
A collection of abstracts will be distributed at the conference. Authors
may submit, after the conference, a full paper for the conference 
proceedings
expected to appear in Kluwer's book-series Semantic Structures in 
Computation.

PROGRAM COMMITTEE

          Ying-Ming Liu (chair)
          Pierre-Louis Curien (co-chair)
          Guo-Jun Wang (co-chair)
          Guo-Qiang Zhang (co-chair)

ORGANIZING COMMITTEE:

          Shi-Chao Zhao (chair)
          Mao-Kang Luo (co-chair)
          Bin Zhao (co-chair)

IMPORTANT DATES

          Abstract:      April 30, 2003
          Registration:  June 1, 2003
          Conference:    Sept. 19 - 23, 2003
          Full paper:    Nov. 1, 2003

WEBSITE

http://newton.cwru.edu/~gqz/ISDT03.html
************************************************************************