 | P-AI-FM-26: AAAI-26 Workshop on Post-AI Formal Methods AAAI-26 Singapore, Singapore, January 26, 2026 |
| Conference website | https://www.p-ai-fm.com/ |
| Submission link | https://easychair.org/conferences/?conf=postaifm26 |
| Submission deadline | October 22, 2025 |
Please select the appropriate category when submitting your work:
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/publication (e.g., bibliographic citation, acceptance notification, or official link).
Accepted submissions will be considered for oral presentations (approximately 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,
- Preliminary results,
- Early ideas,
- Vision statements,
- Open problems, or
- Already published work aligned with P-AI-FM topics.
Submission requirements:
- No strict page limit (up to 10 pages recommended).
- All submissions should include a 1-page summary explaining the relevance to P-AI-FM.
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.
General Notes:
Please note: the workshop will have non-archival proceedings, allowing submission of already published or ongoing work.
- 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).