Logic List Mailing Archive

CfP: P-AI-FM @ AAAI-26 – Workshop on Post-AI Formal Methods, 26 Jan 2026, Singapore

Dear colleagues,

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.
Important dates:

  *   Submission deadline: October 22-nd, 2025
  *   Notification: November 5-th, 2025
Full details are [] on our website: https://www.p-ai-fm.com/
Best regards,
Noa Izsak
(On behalf of the AAAI-26 P-AI-FM organizers)



** Comment, Mod: pdf removed due to technical reasons of the mailing list.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php