Registration Award

P-AI-FM Registration Awards

Encouraging early-career participation in Formal Methods × AI

The P-AI-FM Registration Awards support early-career researchers working at the intersection of Formal Methods (FM) and Artificial Intelligence (AI). Awardees receive a workshop-only registration fee waiver for the Workshop on Post-AI Formal Methods (P-AI-FM), held in Singapore, January 26, 2026.


This initiative is supported by the CISPA Helmholtz Center for Information Security. Selection is conducted independently by the P-AI-FM organizing committee; CISPA does not participate in selection decisions. The award covers workshop registration only (not the main conference, travel, accommodation, or visa costs). AAAI is not a sponsor of this award.

Eligibility

Applicants must be early-career researchers, including:

  • PhD candidates in their final year (within 12 months of completion),
  • Recent PhD graduates (within 24 months of degree conferral),
  • Current or completing postdoctoral researchers, including those in the final stages of their fellowship,
  • Researchers transitioning to a second postdoc position.



No nationality or institutional restrictions.

Award Details

  • Number of awards: 2 (possible expansion)
  • Value: AAAI-26 Workshop-Only registration waiver
  • Type: Non-cash, provided via complimentary registration code.
  • Covers: Workshop registration only (not main conference, travel, or accommodation)


Key Dates

Application deadline: Dec 5, 2025 (AoE)

Notification of results: Dec 10, 2025 (AoE)

Awardee registration completion: Dec 13, 2025 (AoE)



Application Requirements

Submit the following in PDF  (English):

  1. Academic CV – no page limit.
  2. Research & Community Statement (≤ 2 pages) – describe your research, its link to FM, and any community engagement.
  3. (Optional) Up to 3 recommendation letters (≤ 2 pages each).


File names:

  • Lastname_Firstname_CV.pdf,
  • Lastname_Firstname_Statement.pdf,
  • Lastname_Firstname_Letters.pdf



Privacy Notice

By applying, applicants agree that their submission will be reviewed by the P-AI-FM Registration Awards committee for eligibility and selection purposes. 

Applicants who wish may consent to have their application shared with CISPA Helmholtz Center for Information Security for potential research opportunities. This is completely optional and unrelated to the award selection.

How to Apply


Submit your application via email: ‫postaifm26@easychair.org

‬

Please use the following subject line: P-AI-FM Registration Awards - [First name] [Last name]


E.g., "P-AI-FM Registration Awards - Jane Doe"

This award initiative is organized by the P-AI-FM workshop and supported by CISPA. AAAI is not a sponsor of this award.

Official Call for Applications

last update 09/11/25

Download File