Call for Applications : P-AI-FM Registration Awards @ AAAI-26
4 views
Skip to first unread message
Noa Izsak
Nov 10, 2025, 4:45:22 AMNov 10
to guaranteed-safe-ai
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.
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
This initiative is supported by the CISPA Helmholtz Center for Information Security.
Best regards,
The P-AI-FM Organizing Committee
- Application deadline: December 5, 2025 (AoE)
- Notification: December 10, 2025 (AoE)
- Details and submission instructions: https://www.p-ai-fm.com/Award
This initiative is supported by the CISPA Helmholtz Center for Information Security.
Best regards,
The P-AI-FM Organizing Committee
Reply all
Reply to author
Forward
0 new messages