5月19日

京师大厦一层前台

15:30 - 17:30

注册

敬文讲堂

16:00 - 17:00

数学的现实与真理（京师数学大讲坛）

庄志达

(国立新加坡大学)

5月20日

8:30 - 9:00

开场: 京师大厦第六会议室

丁德成、张树果

9:00 - 9:30

茶歇（照相）

Invited talk: 京师大厦第六会议室

9:30 - 10:20

Irrationality Exponents and Effective Hausdorff Dimension

Theodore A. Slaman

(UC Berkeley)

10:20-10:40

茶歇

Invited talk: 京师大厦第六会议室

10:40 - 11:30

Beyond the age of independence by forcing?

W. Hugh Woodin

(Harvard University)

11:30-13:40

午休

Invited talk: 京师大厦第六会议室

14:00 - 14:50

Formal Design of Embedded Systems

詹乃军

(中国科学院大学）

14:50-15:10

茶歇

Parallel sessions: 京师大厦第六会议室

15:10 - 15:40

Relative definability of n-generics

王玮

(中山大学)

15:40 - 16:10

Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas

赵希顺

(中山大学)

16:10 - 16:40

A survey on the computable Lipschitz reducibility

范赟

16:40-16:50

茶歇

16:50 - 17:20

On decomposing Borel functions

丁龙云

(南开大学)

17:20 - 17:50

An elementary proof of p equal t

何家亮

(四川大学)

Parallel sessions: 京师大厦第一会议室

15:10 - 15:40

Logic for Reasoning about Cloud Storage Systems

王捍贫

(北京大学)

15:40 - 16:10

Learning Disjunctive Logic Programs from Interpretation Transition

王以松

16:10 - 16:40

信念修正逻辑及应用

吴茂念

16:40-16:50

茶歇

16:50 - 17:20

休谟原则的认识论意义

许涤非

(人民大学)

17:20 - 17:50

A new modal foundation for epistemic logic

王彦晶

(北京大学)

5月21日

Invited talk: 京师大厦第六会议室

9:00 - 9:50

Keisler Measures and Combinatorics

Anand Pillay

(Univ. of Notre Dame)

9:50-10:00

茶歇

10:00 - 10:30

Traced Monoidal Category and Geometry of Interaction

Masahiro Hamano

10:30 - 11:00

Applications of Homotopy Type Theory to Frege’s puzzle

Bruno Bentzen

(中山大学)

11:00 - 12:00

中国数理逻辑发展专题研讨