您的位置:
首页 >
通知公告(Announcements) >
- [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
- [2019-03-18][1st-CFP]2019年全国现代逻辑学术研讨会(第一轮征稿启事)
- [2019-03-06][open position]英国布里斯托大学两个逻辑学方向的博士岗位(2019年3月24日截止)
- [2019-02-23][LORI-2019-POSTER]第七届逻辑、理性与互动国际研讨会海报
- [2019-02-23][Final-CFP-LORI-2019]第七届逻辑、理性与互动国际研讨会最后征稿更新
- [2019-01-03][open position]英国拉夫堡大学数学应用方向(Deadline:15.Feb.2019)
- [2019-01-03][open position]德国德累斯顿工业大学招2名博士生/博后(描述逻辑、逻辑推理方向)
- [2018-12-05]伦敦大学学院招收博士生:交互系统中的推理