Acronym | Name | Location | Submission Deadline | Start Date | Topics | Add to Watchlist |
|---|---|---|---|---|---|---|
| P-AI-FM-26 | AAAI-26 Workshop on Post-AI Formal Methods | Singapore, Singapore | October 22, 2025 | January 26, 2026 | artificial intelligence (ai) formal methods trustworthy ai neuro symbolic ai | ![]() |

.