您的位置：首页 >
通知公告（Announcements）
- [2022-06-22]关于第三届苏天辅奖学金评选结果的公示
- [2022-06-18]中心博士研究生与硕士研究生顺利通过毕业论文答辩
- [2022-05-16]第三届“苏天辅奖学金”评选通知
- [2022-05-07]2020级博士、硕士研究生顺利通过中期考核
- [2021-11-24]2021年博士研究生学位论文答辩会
- [2021-10-20]联盟逻辑课程：时间与联盟力
- [2021-06-21]关于第二届苏天辅奖学金评选结果的公示
- [2021-05-30]第二届“苏天辅奖学金”评选通知
- [2021-05-26]2018级逻辑学硕士研究生学位论文答辩会
- [2020-11-09]关于时间与联盟力推理的短期课程计划
- [2020-06-18] 第一届“苏天辅奖学金”评选通知
- [2020-05-27]2017级逻辑学硕士研究生学位论文答辩会
- [2020-05-27]2020年逻辑学博士研究生学位论文答辩会
- [2019-05-29]2016级逻辑学硕士研究生学位论文答辩会
- [2019-05-28]CTL&ATL短期课程通知
- [2019-05-16][PhD position] In Logic at Utrecht University, the Netherlands(Deadline: 20 May, 2019.)
- [2019-05-13][PhD position]Studentship in logic and systems verification at UCL
- [2019-04-03][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][Open position] Assistant/associate professor in Computer Science at Roskilde University