|
时间 |
报告人 |
评议人 |
题目 | 附件 |
|---|---|---|---|---|
| 2月21日 | 陈至诚 |
Unifying BPL, IPL and OL |
||
| 2月28日 | 燕博南 | 逻辑与计算科学与工程--领域专用计算处理器发展前沿 | ||
| 3月7日 | 郑植、魏来 | 中学逻辑学教育论坛 | ||
| 3月17日 | Francesca Zaffora Blando |
Pride and Probability |
||
| 3月21日 | Xinhe Wu |
Vagueness in Parthood and Identity: Applications of Boolean-Valued Semantics |
||
| 3月28日 | 王迪 |
直觉主义逻辑与程序设计语言 |
||
| 4月4日 | 王林峰 |
Boolean-valued models of set theory |
||
| 4月11日 | 王昊玉 |
The Many Possibilities of Intuitionistic Modal Logic: A Literature Review |
||
| 4月18日 | 刘力恺 |
Gentzen's Consistency Proof |
||
| 4月25日 | 刘彬 | Knowing how with coalition power | ||
| 5月9日 | Johan van Benthem | Modal Structures in Groups and Vector Spaces | ||
| 5月16日 | 刘冠群 | Pragmatic Platonism: Martin Davis's Proposal and Hilary Putnam's Critique | ||
| 5月23日 | 朱一文 | 从中国数学的历史经验看几个数学哲学问题 | ||
| 5月30日 | 刘珂 | 基于元胞自动机的材料微结构生成与性能调控 | ||
| 6月6日 | 阮立清 | Time Travel: Time Structure with Cycles |