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