会议系列
FSCD: International Conference on Formal Structures for Computation and Deduction
会伴收录的本会议历届信息，最近一届在前。
| 年份 | 会议日期 | 会议地点 | 截稿日期 | 通知日期 |
|---|---|---|---|---|
| 2027 当前届 | 2027-08-22 | Nijmegen, the Netherlands | — | — |
| 2026 | 2026-07-20 | Lisbon, Portugal | 2026-01-23 | 2026-04-16 |
会伴收录的本会议历届信息，最近一届在前。
| 年份 | 会议日期 | 会议地点 | 截稿日期 | 通知日期 |
|---|---|---|---|---|
| 2027 当前届 | 2027-08-22 | Nijmegen, the Netherlands | — | — |
| 2026 | 2026-07-20 | Lisbon, Portugal | 2026-01-23 | 2026-04-16 |