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.
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 WebsiteThis initiative is supported by the CISPA Helmholtz Center for Information Security.
Best regards,
The P-AI-FM Organizing Committee