P-AI-FM-26: AAAI-26 Workshop on Post-AI Formal Methods

P-AI-FM-26: AAAI-26 Workshop on Post-AI Formal Methods will be held in Singapore, Singapore, January 26, 2026

Submissions will centre on the following themes, while also considering additional relevant topics: artificial intelligence (ai), formal methods, trustworthy ai and neuro symbolic ai.