来自日本JAIST（Japan Advanced Institute of Science and Technology）的Hiroakira Ono 和 Norbert Preining教授将在清华大学10月底访问清华大学，届时他们会集中讲授证明论的专题小课程。课程分共4次进行，具体时间安排见下。

课程阅读材料和每次报告的摘要见附件。

第一次：
10月25日（星期一） 晚 7:00-9:00
地点：清华大学新斋324
报告人：Norbert Preining 教授
题目：证明论导引（Introduction to Proof Theory）

第二次：
10月26日（星期二） 晚 7:00-8:30
地点：清华大学新斋324
报告人：Hiroakira Ono 教授
题目：Substructural Logics （子结构逻辑）I

第三次：
10月28日（星期四） 晚 7:00-8:30
10月28日（星期四） 晚 7:00-8:30
地点：清华大学新斋324
报告人：Hiroakira Ono 教授
题目：Substructural Logics II