Home: Delta 8 Abstracts (with Slides) [New!] Programme Gallery [NEW!]
The Schedule of Delta 8 Logic Workshop
Date: March 24th 2018.Venue: 古籍所会议室，行政楼229室 (Room 229, Administrative Building, Xixi Campus, Zhejiang University).
Format: 45 mins presentation + 5 mins Q&A.
You can download the schedule at the end of the table.
| 8:30-9:00 | Registration |
| Morning Session (Chair: Yanjing Wang) | |
| 9:00-9:50 | Shaowei Cai |
| 命题逻辑可满足性问题及相关问题的求解方法 | |
| 9:50-10:00 | Coffee Break |
| 10:00-10:50 | Kai Gu |
| Borel Functions and Separability of Metric Spaces | |
| 10:50-11:00 | Coffee Break |
| 11:00-11:50 | Guozhen Shen |
| An Overview of Cardinals without the Axiom of Choice | |
| 11:50-14:00 | Lunch Break |
| Afternoon Session (Chair: Liang Yu) | |
| 14:00-14:50 | Ningning Peng |
| Mixed Nash Equilibria for Continuous Games and Reverse Mathematics | |
| 14:50-15:00 | Coffee Break |
| 15:00-15:50 | Jie Fan |
| On Axiomatizations of Contingency Logic | |
| 15:50-16:00 | Coffee Break |
| 16:00-16:50 | Liangda Fang |
| Uniform Interpolation in Multi-Agent Modal Logics |
Please click the following link to download the schedule:
The Programme of Delta 8 Logic Workshop