Location: Home» News» Events

Delta Logic Workshop (B114)

Delta workshops aim to bring logicians from Math, Philosophy and Computer Science together. Delta 9 will be held at Peking University.


Date: Sept 8 (Sat), 2018
Venue: B114, Department of Philosophy(李兆基人文学苑2号楼) Peking University



Qinxiang Cao (SJTU)
Yanjun Li (Nankai)
Zachiri McKenzie (SJTU)
Kedian Mu (PKU)
Shengyang Zhong (PKU)
Yizheng Zhu (UCAS)



9:00 - 9:45 Qinxiang Cao: Unifying different separation logic semantics
9:45 - 10:30 Yanjun Li: The Completeness for the Combination of PDL and EL with Perfect Recall and No Miracles 
tea break
11:00 - 11:45 
Zachiri McKenzie: The Largest Initial Segment of a Model of Set Theory Point-wise Fixed by a Non-Trivial Automorphism 
11:45 - 12:30 Kedian Mu: Introduction to Inconsistency Measures and Their Properties 
lunch break 
14:00 - 14:45 Shengyang Zhong: 
The Structure in a Hilbert Space: An Analysis via the Orthogonality Relation 
14:45 - 15:30 Yizheng Zhu: Projective Singletons
tea break
16:00 - 17:30 Qinxiang Cao: Introduction to Coq 
tea break
17:40 brainstorm 
18:00 dinner