Conference Program of ISDT’19
June 14 1st Floor, Yangzhou Jinghua Metropark Hotel
08:00-22:00 Registration
June 15 Shouxihu Campus 8# S405
08:20-09:00 Opening Ceremony Chair: Luoshan Xu
Intruduction of distinguished guests
Welcome Speech by Qiaoquan Liu
Welcome Speech by Qingguo Li
Openning Speech by Achim Jung
09:20-10:00 Invited Talk Chair: Jimmie Lawson
Guo-qiang Zhang
Theoretical Aspects of Nested Facet Systems
10:20-12:00 Invited Talks Chair: Achim Jung
10:20-10:50 Michael Mislove
Kegelspitzen as Computational Models
10:50-11:20 Jimmie Lawson
The Lower Interval and Omega* Topologies
11:20-12:00 Dongsheng Zhao
F-determined objects
14:00-15:50 Invited Talks Chair: Yixiang Chen
14:00-14:40 Hui Kou
A cartesian closed category of domains with almostalgebraic bases
14:40-15:20 Yasunao Hattori
Domain representable spaces and the formalballs on generalized metric spaces
15:20-15:50 Yuxi Fu
On Probabilistic Process Model
16:10-18:00 Contributed Talks Chair: Yichuan Yang
16:10-16:40 Xiaodong Jia
Algebras of the extended probabilisticpowerdomain monad
16:40-17:10 Kok Min Ng
Quasi-continuous Yoneda Complete Quasi-metric Space
17:10-17:30 Xiaoquan Xu
Induced Topologies on the Poset ofFinitely Generated Saturated Sets
17:30-17:50 Shuzhen Luo
On SI2-continuous spaces
17:50-18:10 Chong Shen
Weak domain models of T1spaces
June 16 Shouxihu Campus 8# S405
08:00-10:00 Invited Talks Chair: Dexue Zhang
08:00-08:40 Jean Goubault
Domain-complete and LCS-complete spaces
08:40-09:20 Bin Zhao
Quantum B-algebras, posemigroups and quantales
09:20-10:00 Qingguo Li
A syntactic approach to domains
10:20-11:20 InvitedTalks Chair: Shou Lin
10:20-10:50 Jun Zhang
Generalizing Topological Set Operators
10:50-11:20 Sang-Eon Han
Digital topological rough set structures inducedby locallyfinite coveringapproximation spaces
11:20-12:00 Contributed Talks Chair: Wei He
11:20-11:40 Wenfeng Zhang
S2-Quasialgebraic posets
11:40-12:00 Zhenzhu Yuan
The duality theory of general Z-continuous posets
16:20-17:40 Contributed Talks Chair: Huawen Liu
16:20-16:40 Luoshan Xu
Cs-unique dcpos and non-maximality of the class of dominated dcpos regardingG-faithfulness
16:40-17:00 Wei Yao
Quantale-valued fuzzy Scott topology
17:00-17:20 Gaolin Li
Universal approach toZ-frame envelopes of semilattices
17:20-17:40 Qingyu He
Some results on poset models consisting of compact saturated Subsets
17:40-18:00 Closing Ceremony Chair: Guo-Qiang Zhang
Closing speech by Guo-QiangZhang
Organising Committee and volunteers say good-bye
June 17 Free discussion, Leaving
