Hostname: page-component-77c89778f8-vpsfw Total loading time: 0 Render date: 2024-07-21T06:54:24.881Z Has data issue: false hasContentIssue false

Preface

Published online by Cambridge University Press:  16 June 2015

ACHIM JUNG
Affiliation:
School of Computer Science, the University of Birmingham, Birmingham, B15 2TT, U.K.
GUO-QIANG ZHANG
Affiliation:
Department of Electrical Engineering & Computer Science, Case Western Reserve University, Cleveland, OH 44106, U.S.A. E-mail: gqatcase@gmail.com
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The International Symposium on Domain Theory (ISDT) is a conference series intended to be a forum for researchers in domain theory and its applications. Topics include topological and logical aspects of domains; categories of domains and powerdomains; continuous posets and their representations; partial orders, lattice theory and metric spaces; types, process algebra and concurrency; non-classical and partial logics; programming language semantics; applications in computer science and mathematics. This conference series was founded by Yingming Liu, Yixiang Chen, Klaus Keimel, and Guo-Qiang Zhang. All ISDT events have taken place in China. The first ISDT was held in Shanghai, October 17–24, 1999; the second ISDT was held in Chengdu, October 22–26, 2001; the third ISDT occurred in Xi'an, China, May 10–14, 2004; the fourth ISDT was held in Changsha, June 2–6, 2006; and the fifth ISDT took place in Shanghai, September 11–14, 2009.

Type
Editorial Preface
Copyright
Copyright © Cambridge University Press 2015