[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

---

[open position]英国布里斯托大学两个逻辑学方向的博士岗位（2019年3月24日截止）

2019-03-06

---

[LORI-2019-POSTER]第七届逻辑、理性与互动国际研讨会海报

2019-02-23

---

[Final-CFP-LORI-2019]第七届逻辑、理性与互动国际研讨会最后征稿更新

2019-02-23

---

[open position]英国拉夫堡大学数学应用方向（Deadline：15.Feb.2019）

2019-01-03

---