西溪逻辑论坛第40期 （本活动受中央高校基本科研业务费专项资金资助） 主题：公开宣告逻辑的混合化 报告人：何键枫 点评人：王轶 时间：2016年10月11日（周二） 13:00-15:00 地点：浙大西溪校区主楼259会议室 摘要：报告主要讨论公开宣告逻辑的混合化。为确保名字不会失去指称，采用保留状态并删除箭头的模型更新方式。通过在混合语言中添加公开宣告算子或间接宣告算子，结合不同的语义，我们得到了不同的逻辑，并考察不同逻辑之间表达力的强弱关系。通过归约公理或典范模型方法，我们为分别这些逻辑提供了可靠完全的公理系统。

西溪逻辑论坛第38期 （本活动受中央高校基本科研业务费专项资金资助） 主题：使用LaTeX撰写逻辑学论文 报告人：王轶 时间：2016年09月30日（周五） 13:00-15:00 地点：浙大西溪校区主楼259会议室 摘要：报告人首先向大家介绍使用LaTeX的基本框架和背景知识，然后面向逻辑学论文写作通过具体的例子给出LaTeX的使用方法和心得。具有浙大网络使用权限的听讲者最好携带一台笔记本或平板电脑。 Slides Handouts