Post-AI Formal Methods

Workshop on Post-AI Formal Methods (P-AI-FM)

We invite submissions for contributed talks to be presented at the Post-AI Formal Methods workshop. The goal of this workshop is to foster interaction between the AI and formal methods communities, with contributions spanning verification, synthesis, automata learning, explainability, and neuro-symbolic approaches.

We especially encourage both young and experienced researchers to participate, present their work, share their perspectives, and connect with colleagues in the community - particularly those exploring the intersection of symbolic reasoning, formal modeling, and data-driven AI.

Track 1: AAAI Papers and Recently Published Work:
This track welcomes submissions in the following categories:

• Papers submitted to the AAAI-26 main track (regardless of acceptance status).
• Already published papers, or papers accepted but not yet formally published, in conferences such as CAV, TACAS, FM, AAAI, IJCAI, NeurIPS, ICML, ICLR, AAMAS, POPL or other related venues (2024 and later).

Submission Requirements:

• Paper title and abstract.
• Summary file (up to 1 page): a short explanation (1–2 paragraphs) of how the work relates to the P-AI-FM workshop topics.
• Review/Proof file:
• For AAAI-26 submissions: the Phase I notification (if rejected, include the reviews; if accepted, the notification alone is sufficient).
• For already published or accepted work: proof of acceptance (e.g., bibliographic citation, acceptance notice, or official link).

Accepted submissions will be considered for oral presentations (10-15 minutes).
At least one author of each accepted submission must register for the workshop.

Track 2: Exploratory and Published Papers

This track is intended to encourage a wide range of contributions, including:

• Extended abstracts.
• Already published work (that aligns with the P-AI-FM topics).
• Preliminary results.
• Vision statements, early ideas, or open problems.

Submission requirements:

• A single PDF file containing the contribution. There is no specific length restriction; contributions of up to 10 pages are recommended (excluding appendix and bibliography).
• A Summary file (up to 1 page): a short explanation (1–2 paragraphs) of how the work relates to the P-AI-FM workshop topics.

Accepted contributions will be listed on the workshop website, with a link to an open-access version (e.g., arXiv). Depending on the number of submissions, authors may be invited to give ''lightning talks'' (5-10 minutes).

At least one author of each accepted contribution must register for the workshop.

Clarification on Presentation Policy:

• In accordance with AAAI-26 policy, all in-person workshop presentations must be delivered onsite in Singapore. Remote or recorded presentations cannot be shown during the live sessions.
• However, to increase the visibility of contributions from authors unable to attend in person, we warmly invite such authors to optionally submit a 5–10 minute pre-recorded video (MP4 format). These videos will be uploaded to the official P-AI-FM workshop website and made available to the broader research community.

• This option provides an additional channel of dissemination, but please note:
• The recording will not be played during the workshop itself.
• Registration is still required for all accepted contributions, regardless of in-person attendance.

General Notes

• All submissions must be in PDF format.
• Submissions will be checked for relevance to the workshop themes.
• Deadlines are firm (Submission: October 22, 2025 AoE; Notification: November 5, 2025 AoE).