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

Speakers:

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

Program:

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