Serie de conferencias
CADE: International Conference on Automated Deduction
Todas las ediciones de esta conferencia registradas en Conference Partner, la más reciente primero.
| Año | Fecha de conferencia | Ubicación | Día de Entrega | Fecha de Notificación |
|---|---|---|---|---|
| 2027 Actual | 2027-08-22 | Nijmegen, the Netherlands | — | — |
| 2017 | 2017-08-06 | Gothenburg, Sweden | 2017-02-11 | 2017-04-22 |