Serie de conferencias
VMCAI: International Conference on Verification, Model Checking, and Abstract Interpretation
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-01-11 | Mexico City, Mexico | 2026-09-16 | 2026-11-06 |
| 2026 | 2026-01-11 | Rennes, France | 2025-09-10 | 2025-11-06 |