[TYPES] Conference Program - ISDT04

[Marla Radvansky]

----------------------------------------------------------------------
		CALL FOR PARTICIPATION
	International Symposium on Domain Theory
		(ISDT'04)	
	May 10-14, 2004, Xi'an, China
	for more information see
	http://newton.cwru.edu/ISDT04.html

	Conference Program
May 10
07:00-07:40 Breakfast
08:00-09:50 Chair: Zhang Guo-Qiang
08:00-08:10 Opening ceremony
	Welcome to ISDT by Liu Yingming
08:10-09:00 Invited talk, Glynn Winskel
	Domain theory for concurrency
09:00-09:50 Invited talk, Jimmie Lawson
	Approximate functions, quasicontinuous functions,
	and generalized derivatives via domain theory
09:50-10:20 Group photo and coffee break
10:20-12:00 Chair: Wang Guojun
10:20-11:10 Invited talk, Zhang Guo-Qiang
	A cartesian closed category of formal concepts
11:10-12:00 Invited talk, Kou Hui
	Powerdomains and spectral theory on complete lattices
12:00-13:00 Lunch
14:30-16:20 Chair: Samson Abramsky
14:30-15:00 Klaus Keimel
	Semantic domains for combining probability and nondeterminism
15:00- 15:50 Invited talk, Gordon Plotkin
	Functional presentations of powerdomains combining
	nondeterminism and (extended) probabilistic choice
15:50-16:20 Luca Paolini, Simona Ronchi Della Rocca
	A fully abstract model for the lazy lambda-calculus
16:20-16:40 Coffee break
16:40-18:00 Chair: Luo Maokang
16:40-17:30 Invited talk, Xu Luoshan
	Continuity and directed completions of posets via Scott topology
17:30-18:00 Dieter Spreen
	What you always wanted to know about rank-ordered sets
18:00-19:30 Conference Banquet

May 11
07:00-07:40 Breakfast
08:00-10:00 Chair: Gordon Plotkin
08:00-08:50 Invited talk, Prakash Panangaden
	Labelled Markov processes via domains
08:50-09:20 Joseph Manning, Thierry Vallee
	Reconstruction of partial orders and models of ACETT
09:20-09:40 Xi Xiaoyong, Liang Jihua
	RW-Spaces and topologies on function spaces for L-domains
09:40-10:00 Zhang Qiye, Fan Lei, Zheng Chongyou
	L-fuzzy domain and continuity
10:00-10:20 Coffee break
10:20-12:00 Chair: Liang Jihua
10:20-11:10 Invited talk, Xu Xiaoquan
	λ-regular binary relations and ultra-continuous lattices
11:10-11:40 Michel Schellekens
	Towards a calculus for software timing (I)
11:40-12:00 Thierry Vallee
	Towards a calculus for software timing (II)
12:00-13:00 Lunch
14:30-16:10 Chair: Klause Keimel
14:30-15:20 Invited talk, Chen Yixiang, Achim Jung
	An introduction to fuzzy predicate transformers
15:20-15:50 Lei Yinbin, Luo Maokang
	Strong domain environments of topological spaces
15:50-16:10 Yang Zhongqiang, Liu Shuqin
	Lattice-value hyperspaces which are homeomorphic to the Hilbert cube

16:10-16:30 Coffee break
16:30-18:00 Chair: Zhao Bin
16:30-17:20 Invited talk, Fan Lei
	A theory of convergence in LF-posets
17:20-17:40 Liu Ni, Li Shenggang
	Cartesian closed stable categories
17:40-18:00 Deng Zike
	Constructions of generalized-continuous lattices
	and their connections with schemes
18:00-19:00 Dinner

May 12
07:00-07:40 Breakfast
08:00-10:10 Chair: Glynn Winskel
08:00-08:50 Invited talk, Samson Abramsky
	A Cook's tour of a simple quantum programming language
08:50-09:20 M.O'Keeffe, M.Schellekens
	A study of the imbalance partial metric
09:20-09:40 Luo Minxia, He Huacan
	On fuzzy congruence relations and fuzzy order filters 
09:40-10:10 Homeira Pajoohesh, Michel Schellekens
	On the structure of the imbalance lattice
10:10-10:30 Coffee break
10:30-12:00 Chair: Li Shenggang
10:30-11:20 Invited talk, Pei Daowu
	Some new advances in fuzzy logic and fuzzy reasoning
11:20-11:40 Chen Xueyou, Li Qingguo
	Function space on algebraic L-domains
11:40-12:00 Zhao Bin, Xiao Ying, Han Shengwei
	Hypersemilattices
12:00-13:00 Lunch
14:30-16:00 Chair: Jiang Ying
14:30-15:20 Invited talk, Vaughan Pratt
	Comonoids as symmetric nontopological domains 
15:20-15:40 Shang Yun, Li Yongming
	Anti-BZ-structure in effect algebras
15:40-16:00 Chen Yixiang, Zhoujie
	Interval-valued processes
16:00-16:20 Coffee break
16:20-18:00 Chair: Jimmie Lawson
16:20-16:40 Jiang Ying
	On a problem of Amadio and Curien
16:40-17:10 Qi Guo, Heeralal Janwa
	Zig-Zag product in graphs and tensor product in matrices:
	expansions and applications
17:10-18:00 Invited talk, Wang Guojun
	Numerical method in logical calculus
==================================================================