关于时间与联盟力推理的短期课程计划
2020-11-09
第一届“苏天辅奖学金”评选通知
2020-06-18
2017级逻辑学硕士研究生学位论文答辩会
2020-05-27
2020年逻辑学博士研究生学位论文答辩会
2020-05-27
2016级逻辑学硕士研究生学位论文答辩会
2019-05-29
CTL&ATL短期课程通知
2019-05-28
[PhD position] In Logic at Utrecht University, the Netherlands(Deadline: 20 May, 2019.)
2019-05-16
[PhD position]Studentship in logic and systems verification at UCL
2019-05-13
[PhD position]At Logic group in Canberra Australia
2019-04-03
[PhD position]Efficient and Natural Proofs and Algorithms at the University of Bath
2019-04-03