[TYPES/announce] announcement: ISDT2009

[Jie Zhou]

Dear Weirich,

I  would like to post this announcement to your list. Thanks for all your help.


 Below is the call for papers:

Call For Papers
THE 5th INTERNATIIONAL SYMPOSIUM ON DOMAIN THEORY (ISDT 2009)
(First Announcement)
September 12-14, 2009
East China Normal University, Shanghai, China
http://sites.ecnu.edu.cn/conferences/~isdt2009 
**************************************************************************************************
The 5th International Symposium on Domain Theory (ISDT2009) will be held in September 12-14, 2009, Software Engineering Institute, East China Normal University, Shanghai, People’s Republic of China. 
International Symposium on Domain Theory (ISDT) is a series of conference held in the mainland of China. It aims at providing a forum for researchers in domain theory and its applications. Each meeting includes invited talks and contributed papers. The previous four ISDT events were held in Shanghai (1999), Chengdu (2001), Xi'an (2004) and Changsha (2006).  
THEME: Domain Theory and its Applications
TOPICS: 
Topics of interest include, but are not limited to:
*Topological and logical aspects of domains
*Categories of domains and power domains
*Partial orders and metric spaces
*Applications in logic programming 
*Type and concurrency theory
*Formal semantics
*Logic and Formal Verification
*Probabilistic Systems
*Process Algebra
*Quantum Computing
INVITED SPEAKERS (at present):
Samson Abramsky (University of Oxford, UK)
Pierre-Louis Curien (PPS, France)  
Hui Kou (SCU, China) 
Glynn Winskel (University of Cambridge, UK)
Guo-Qiang Zhang (CWRU, USA)

SUBMISSIONS:
Authors are invited to submit papers presenting original and unpublished research not concurrently considered for publication elsewhere. Papers should not exceed 14pages and should be formatted according to the ENTCS article style. Submissions must be made through Easychair at:
https://www.easychair.org/?conf=isdt2009
before the submission deadlines for abstract and full paper respectively.
All submissions will be reviewed by at least three members of the program committee. They will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings of the conference will appear as a volume in ENTCS. Pre-proceedings will be distributed at the conference. 
IMPORTANT DATES:
Abstract Submissions:         May 22, 2009 (Friday)
Paper Submissions:           June 5, 2009 (Friday)
Notification of acceptance:     July 10, 2009 (Friday)
Camera ready deadline:       August 7, 2009 (Friday)
Conference:                 September 12, 2009 (Friday)
CONFERENCE CHAIR: 
Jifeng He (ECNU, China)
Yingming Liu (SCU, China)
PROGRAM COMMITTEE:
Yixiang Chen (Co-Chair, ECNU, China) 
Ernst-Erich Doberkat (Co-Chair, UDO, Germany)
Manfred Droste (University of Leipzig, Germany) 
Yuxi Fu (SITU, China) 
Ying Jiang (SI, Academy of Science, China)
Achim Jung (Co-Chair, University of Birmingham, UK) 
Klaus Keimel (DTU, Germany)
Pascal Hitzle (University of Karlsruhe, Germany) 
Michael Huth (Imperial College London, UK)
Drew Moshier (Chapman University, CA) 
Dag Normann (University of Oslo, Norway)
Luke Ong (University of Oxford, UK) 
Alex Simpson (University of Edinburgh, UK)
Dieter Spreen (University of Siegen, Germany) 
Guo-Hua Wu (NTU, Singapore)
Guo-Qiang Zhang (CWRU, US)
Min Zhang (ECNU, China)
Bin Zhao (SNNU, China)
Dongsheng Zhao (NIE, Singapore)
LOCAL ORGANIZERS:
Weifan Zhang (Co-Chair, ECNU, China)
Jie Zhou (Co-Chair, ECNU, China)
Yanwen Chen (ECNU, China)
Lu Han (ECNU, China)
Maoyong Han (ECNU, China)
Yanfang Ma (ECNU, China)
HongWei Tao (ECNU, China)
Hui Wang (ECNU, China)
XinXing Wu (ECNU, China)
         
                       
********************************************THE END*******************************************
Thanks again!

Best Regard,

Jie Zhou
jiezhou at sei.ecnu.edu.cn 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20090408/95abeae2/attachment-0001.htm