The program in Foundations supports research in mathematical logic and the foundations of mathematics, including proof theory, recursion theory, model theory, set theory, and infinitary combinatorics.
In furtherance of the President's Management Agenda, in Fiscal Year 2005, NSF has identified 23 programs that will offer proposers the option to utilize Grants.gov to prepare and submit proposals. Grants.gov provides a single Government-wide portal for finding and applying for Federal grants online.
Proposers may opt to submit proposals in response to this Program Description via Grants.gov or via the NSF FastLane system.
In determining which method to utilize in the electronic preparation and submission of the proposal, please note the following:
All collaborative proposals must be submitted via the NSF FastLane system. This includes collaborative proposals submitted: by one organization (and which includes one or more subawards); or as separate submissions from multiple organizations.
Proposers are advised that collaborative proposals submitted in response to this Program Description via Grants.gov will be requested to be withdrawn and proposers will need to resubmit these proposals via FastLane. (Chapter II, Section D.3 of the Grant Proposal Guide provides additional information on collaborative proposals.)
For full proposals submitted via FastLane: standard Grant Proposal Guidelines apply.
For full proposals submitted via Grants.gov: NSF Grants.gov Application Guide; A Guide for the Preparation and Submission of NSF Applications via Grants.gov Guidelines apply (Note: The NSF Grants.gov Application Guide is available on the Grants.gov website and on the NSF website at: http://www.nsf.gov/bfa/dias/policy/docs/grantsgovguide.pdf)
Who can apply:
Eligible functional categories:
Mathematical and Physical Sciences
NSF Program Summary -- Foundations
If you have problems accessing the full announcement, please contact:
National Science Foundation, Office of Budget, Finance and Award Management, Headquarters