Delta Logic Workshop (B114)
Supply:
Date:2018-09-08
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