您的位置：首页 >
通知公告（Announcements）
- [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-24][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]伦敦大学学院招收博士生：交互系统中的推理
- [2018-11-28][CFP-WoLLIC 2019]第26届逻辑、语言、信息与计算国际研讨会征稿
- [2018-11-13]Google面向人工智能方向博士生的12周暑期岗位