您的位置:首页 >
通知公告(Announcements)
- [2022-12-29]新文科背景下逻辑教学与研究研讨会暨2022年重庆市逻辑学会年会成功召开
- [2022-12-22]新文科背景下逻辑教学与研究研讨会暨重庆市逻辑学会2022年学术年会会议议程
- [2022-12-18][junior professor position]法国图卢兹大学信息研究所(终身教职)
- [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