序号

时间

报告题目

报告人

1

9:30-10:00

Some problems on sober dcpos

赵东升（新加坡南洋理工大学教授）

2

10:00-10:30

SI-continuous spaces and continuous posets

赵彬（西安交通大学教授）

3

10:50-11:20

M-fuzzifying geodesicinterval operator

史福贵（北京理工大学教授）

4

11:20-11:50

模糊数的拓扑结构

樊太和（浙江理工大学教授）

5

14:30-14:50

Possibilistic Fuzzy LinearTemporal Logic and its Model Checking

李永明（陕西师范大学教授）

6

14:50-15:10

Heyting系统

吴洪博（陕西师范大学教授）

7

15:10-15:30

数字拓扑的刻画、序结构方面及其应用

徐罗山（扬州大学教授）

8

15:30-15:50

基于一致模算子的函数方程研究进展概述

覃锋（江西师范大学教授）

9

15:50-16:10

Quantumcommunicationprotocols and itsexperimentalrealization by quantum walks with two coins

尚云（中科院数学与系统科学研究院研究员）

10

16:40-17:00

Two construction ways towards unified frameworks of ordinal sums of fuzzy implications

周红军（陕西师范大学教授）

11

17:00-17:20

基于多尺度融合的三维点云深度学习方法

蔡国榕（集美大学教授）

12

17:20-17:40

基于环境的软件近似正确性的拓扑结构

马艳芳（淮北师范大学教授）

13

17:40-18:00

模糊连续格的模代数表示

姚卫（南京信息工程大学教授）

14

18:00-18:20

Fuzzy Pushdown Termination Games

潘海玉（桂林电子科技大学教授）