NSF award 2603286 · Carnegie Mellon University

Conference: Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) PI Meeting

Final report due

31 May 2027

in 225 days · The award ends on 31 January 2027.

GrantClerk is a private service. We are not NSF or any government agency.

Dates this award owes

NSF emails you about this too.

Extension request17 Dec 2026in 60 days
award ending 2027-01-31 · Research.gov
PAPPG 24-1: “at least 45 days prior to the end date”
No-cost extension notice21 Jan 2027in 95 days
award ending 2027-01-31 · Research.gov
PAPPG 24-1: “at least ten calendar days prior to the end date”
Final report due31 May 2027in 225 days
award ending 2027-01-31 · Research.gov
PAPPG 24-1: “no later than 120-days following the end date of the award”
Project outcomes report due31 May 2027in 225 days
award ending 2027-01-31 · Research.gov
PAPPG 24-1: “no later than 120 days following the end date”
Award is closed out31 May 2027in 225 days
award ending 2027-01-31 · Research.gov
PAPPG 24-1: “financially closed out 120 days after their expiration date”

Annual report dates come from the budget period on your award notice. That date is not public, so it is not shown here.

How we got this date

NSF lists this award's end date as 31 January 2027.
NSF rules say the final report is due no later than 120 days after that.
So the final report is due by 31 May 2027.

Read the rule on Research.gov

Get a note before each report date

Add this award to your desk. We email you before each date and keep the dates in one place.

Renews each year until you cancel. Cancel any time from your account.

Already a member? Sign in

Award card

Award number: 2603286
Period of support: 15 Feb 2026 – 31 Jan 2027
Amount: $36,585
Awardee: Carnegie Mellon University, Pittsburgh, PA
Program: MSPA-INTERDISCIPLINARY
Directorate: MPS

Abstract

This award provides additional participant support for the first meeting of principal investigators in the NSF Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program, which will be held at the new NSF Institute for Computer-Aided Reasoning in Mathematics on April 2 and 3, 2026. The AIMing program seeks to support research at the interface of innovative computational and artificial…

Is this right?

We copy this from the public NSF award record. Your award notice and NSF always win. If a date looks wrong, check Research.gov.