Call for Applications : P-AI-FM Registration Awards @ AAAI-26
4 views
Skip to first unread message
Noa Izsak
Nov 10, 2025, 4:42:21 AM (9 days ago) Nov 10
to SMT-announce
Dear colleagues,
We are pleased to announce the P-AI-FM Registration Awards, supporting early-career researchers working at the intersection of Formal Methods and Artificial Intelligence to attend the AAAI-26 Workshop on Post-AI Formal Methods (P-AI-FM), to be held in Singapore on January 26, 2026.
The awards provide a Workshop-Only registration waiver for AAAI-26 and aim to encourage participation and strengthen ties between the Formal Methods and AI communities.
Eligible applicants include final-year PhD students, recent graduates, and postdoctoral researchers, with no nationality or institutional restrictions.
Contact and Website
We are pleased to announce the P-AI-FM Registration Awards, supporting early-career researchers working at the intersection of Formal Methods and Artificial Intelligence to attend the AAAI-26 Workshop on Post-AI Formal Methods (P-AI-FM), to be held in Singapore on January 26, 2026.
The awards provide a Workshop-Only registration waiver for AAAI-26 and aim to encourage participation and strengthen ties between the Formal Methods and AI communities.
Eligible applicants include final-year PhD students, recent graduates, and postdoctoral researchers, with no nationality or institutional restrictions.
Important Dates
- Application deadline: December 5, 2025 (AoE)
- Notification: December 10, 2025 (AoE)
- Details and submission instructions: https://www.p-ai-fm.com/Award
Contact and Website
This initiative is supported by the CISPA Helmholtz Center for Information Security.
Best regards,
The P-AI-FM Organizing Committee
Best regards,
The P-AI-FM Organizing Committee
Reply all
Reply to author
Forward
0 new messages