[TYPES/announce] ISDT2009：CALL FOR PARTICIPATION （ACCEPTED PAPERS added）

Mon Aug 10 04:41:35 EDT 2009

CALL FOR PARTICIPATION （ACCEPTED PAPERS added）

THE 5th INTERNATIIONAL SYMPOSIUM ON DOMAIN THEORY (ISDT 2009) 
September 12-14, 2009 
East China Normal University, Shanghai, China 
http://sites.sei.ecnu.edu.cn/isdt2009/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 AND TUTORIALS: 
============================== 
**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) 
 -Title: Recent Developments in Theory and Applications of Formal Concept Analysis 
 -Abstract: In this talk we provide an overview of recent developments in formal concept analysis (FCA),motivated by  
applications in social network analysis, computer security and user-interface design.We will cover three topics: computing  
closures of partial algebras,theory of power concept analysis,and an approach to the role-mining problem in role-based access  
control. No prior knowledge in FCA or the application areas mentioned above will be assumed. 

**Ernst-Erich Doberkat (Technische Universit&auml;t Dortmund, Germany, http://ls10-www.cs.uni-dortmund.de/index.php?id=33) 
 -Title: Stochastic Coalgebraic Logic 
 -Abstract: This tutorial will introduce some recent developments in the area of modal logics. It will be shown how to  
generalize modal logics to coalgebraic logics by discussing predicate liftings for suitable functors, and we will discuss the  
interpretation of these logics in terms of stochastic relations. The unifying framework for this development is comprised of  
coalgebras, which will be introduced and discussed, with particular emphasis on the subprobability functor on the category of  
analytic spaces. This framework will permit the discussion of behavioral equivalence, bisimularity and logical equivalence,  
and we will carefully investigate conditions under which these behavioral descriptions of Kripke models are equivalent. 
The tutorial will provide its participants with a solid basis to appreciate the development in this important new branch of  
modal logics, and it will foster the understanding of its probabilistic interpretation. 

ACCEPTED PAPERS: 
================ 
The following papers have been accepted for presentation at ISDT 2009.  They will appear in a  volume published in the ENTCS  
series.  

Author(s)                         Title  
Klaus Keimel                      Bicontinuous Domains  
Lingyun Yang and Luoshan Xu       On Rough Concept Lattices  
Christoph Schubert                Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence  
Wu Hengyang                       A Duality Theorem for Quantitative Semantics  
Wei yao                           L-fuzzy Scott topology and Scott convergence of stratified L-filters on fuzzy dcpos  
Li-Gang Wu and Lei Fan            Domain Equations Based on Sets with Families of Pre-orders  
Wenjie Du and Yuxin Deng          On Mobility and Communication  
Yanfang Ma and Min Zhang          Topological Construction of Parameterized Bisimulation Limit  
Yihui Zhou and Bin Zhao           Z-abstract basis  

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 (Saturday) 

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 Hitzler (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: 
================ 
Yanwen Chen (ECNU, China) 
Maoyong Han (ECNU, China) 
Lu Han (ECNU, China) 
Yanfang Ma (ECNU, China) 
HongWei Tao (ECNU, China) 
Hui Wang (ECNU, China) 
XinXing Wu (ECNU, China) 
Weifan Zhang (Co-Chair, ECNU, China) 
Jie Zhou (Co-Chair, ECNU, China)          

********************************************THE END******************************************* 

Jie Zhou 
jiezhou at sei.ecnu.edu.cn  
Institute of Theoretical Computing,  
Software Engineering Institute,  
East China Normal University,  
Shanghai, China 200062 
Fax: +86(0) 21-6223 5255  
Mobile: +86(0)13040692114 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20090810/dd263f51/attachment-0001.htm