| August 3 | |
| 08:00 | buses to Library Lecture Hall |
| 08:20-08:50 | Opening Ceremony Chair: Peihe Wang |
| 08:50-09:10 | Take Group Photo |
| 09:10-09:55 | Invited Talk 1 Chair: Yixiang Chen |
| Dieter Spreen: Domains, Information Frames, and Logic | |
| 10:00-10:20 | Tea Break |
| 10:20-11:05 | Invited Talk 2 Chair: Xiaoquan Xu |
| Eugenio Moggi: Robust Analyses, Scott Continuity, | |
| and Abstract Interpretation (Part 1) | |
| 11:10-11:55 | Invited Talk 3 Chair: Dexue Zhang |
| Amin Farjudian: Robust Analyses, Scott Continuity, | |
| and Abstract Interpretation (Part 2) | |
| 12:00-12:40 | Lunch: Qifeng Canteen |
| 12:40-13:00 | Take buses to Inzone Garland Hotel |
| 14:00 | Take buses to Library Lecture Hall |
| 14:20-15:05 | Invited Talk 4 Chair: Shou Lin |
| Kaiyun Wang: Compactness, SI-compactness and Co-sobriety | |
| 15:10-15:55 | Invited Talk 5 Chair: Yichuan Yang |
| Xiaoyong Xi: On the Largest Cartesian Closed Category of Stable Domains | |
| 16:00-16:20 | Tea Break |
| 16:20-17:05 | Invited Talk 6 Chair: Hui Kou |
| Weng Kin Ho: Lattices of Scott-closed Sets: What one knows | |
| and what one knows not | |
| 17:10-17:35 | Contributed Talk 1 Chair: Shengwei Han |
| Xiangrui Li: Equational Characterizations for Some Subclasses of Domains | |
| 17:35-18:00 | Contributed Talk 2 Chair: Wei Yao |
| Wu Wang: Notes on Strong Continuous Space and FS-spaces | |
| 18:00-18:20 | Take buses to Inzone Garland Hotel |
| 18:30 | Dinner: Banquet hall, 1st Floor, Qufu Inzone Garland Hotel |
| August 4 | |
| 08:00 | Take buses to Library Lecture Hall |
| 08:15-09:00 | Invited Talk 7 Chair: Wei He |
| Sam van Gool: Domains and Automata in Duality-theoretic Form | |
| 09:05-09:30 | Contributed Talk 3 Chair: Hongliang Lai |
| Xiao Hu: A New View of Continuous Category | |
| 09:30-09:55 | Contributed Talk 4 Chair: Lili Shen |
| Licong Sun: Dual Equivalence Between the Categories | |
| of Sober Convex Spaces and Algebraic Lattices | |
| 09:55-10:10 | Tea Break |
| 10:10-10:55 | Invited Talk 8 Chair: Fucai Lin |
| Xiaodong Jia: Valuations Monads - the Knowns and Unknowns | |
| 11:00-11:25 | Contributed Talk 5 Chair: Qingyu He |
| Bei Liu: Hofmann-Mislove Theorem and Dual Hofmann-Mislove Theorem | |
| for ω-well-filtered Spaces | |
| 11:25-11:50 | Contributed Talk 6 Chair: Yueli Yue |
| Yafei Cheng: General Convolution Lattices | |
| 11:50-12:15 | Contributed Talk 7 Chair: Pengfei He |
| Zhenchao Lyu: Some Notes on the Lattice of Closed Subsets | |
| 12:20-12:55 | Lunch: Qifeng Canteen |
| 12:55-13:10 | Take buses to Inzone Garland Hotel |
| 14:15 | Take buses to the Library Lecture Hall |
| 14:30-15:15 | Invited Talk 9 Chair: Luoshan Xu |
| Yasunao Hattori: A New Dimension for Finite Lattices | |
| 15:20-16:05 | Invited Talk 10 Chair: Zhongqiang Yang |
| Dongsheng Zhao: Sober Dcpos | |
| 16:10-16:20 | Closing Ceremony Chair: Longchun Wang |
| 16:20-16:30 | Tea Break |
| 16:40-18:00 | Free discussion: China Teachers Museum |
| 18:30-19:30 | Buffet: Shang Shanfang, 3rd floor, Inzone Garland Hotel |
| August 5 | |