会议系列
CADE: International Conference on Automated Deduction
会伴收录的本会议历届信息，最近一届在前。
| 年份 | 会议日期 | 会议地点 | 截稿日期 | 通知日期 |
|---|---|---|---|---|
| 2027 当前届 | 2027-08-22 | Nijmegen, the Netherlands | — | — |
| 2017 | 2017-08-06 | Gothenburg, Sweden | 2017-02-11 | 2017-04-22 |
会伴收录的本会议历届信息，最近一届在前。
| 年份 | 会议日期 | 会议地点 | 截稿日期 | 通知日期 |
|---|---|---|---|---|
| 2027 当前届 | 2027-08-22 | Nijmegen, the Netherlands | — | — |
| 2017 | 2017-08-06 | Gothenburg, Sweden | 2017-02-11 | 2017-04-22 |