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

---

[Open position] Assistant/associate professor in Computer Science at Roskilde University

2019-04-03

---

[1st-CFP]2019年全国现代逻辑学术研讨会（第一轮征稿启事）

2019-03-18

---