26 January 2026, P-AI-FM @ AAAI-26 – Workshop on Post-AI Formal Methods, 26 Jan 2026, Singapore, Singapore
Date: Monday 26 January 2026
Location: Singapore
Deadline: Wednesday 22 October 2025
We are pleased to announce the AAAI-26 Workshop on Post-AI Formal Methods (P-AI-FM), which will take place in conjunction with AAAI-26, January 26th, 2026, in Singapore.
The workshop aims to bring together the communities of Formal Methods and Artificial Intelligence, exploring how symbolic reasoning, verification, and trustworthy AI can jointly address the challenges of modern AI systems.
Submission Tracks:
* AAAI Main Track Submissions: If you submitted a paper to AAAI-26 (regardless of acceptance status), you are invited to also submit it to this workshop.
* Short / Position Papers (24 pages): Early ideas, works in progress, extended abstracts, or already published research.
For more information, see
https://www.p-ai-fm.com/.