Foundations
Grant Title: Foundations - The National Science Foundation's "Foundations" program supports research and academic activities in mathematical logic and the foundations of mathematics, including areas like proof theory and set theory, to advance knowledge and collaboration in these essential theoretical domains.
The National Science Foundation (NSF) program in "Foundations" is dedicated to supporting research in the mathematical logic and the foundations of mathematics. This includes several key areas such as proof theory, recursion theory, model theory, set theory, and infinitary combinatorics. The program is designed to advance knowledge in these theoretical domains, which are essential to both pure mathematics and its applications in various scientific fields. Researchers working in these specific areas of mathematical logic can apply for funding to support projects that contribute to the foundations of mathematics. The program also supports conferences and workshops that focus on these areas of mathematical logic. Proposals for conferences, workshops, and similar academic activities need to be submitted at least eight months prior to the event start date. Applicants for these events must refer to the program solicitation “Conferences and Workshops in the Mathematical Sciences” for detailed instructions on preparing and submitting their proposals. The solicitation offers specific guidelines for the format and content of proposals, including critical aspects of planning for summer or winter schools, workshops, and other gatherings in the mathematical sciences community. For submitting full proposals, applicants should follow the submission guidelines detailed in the NSF Proposal & Award Policies & Procedures Guide (PAPPG) or the NSF Grants.gov Application Guide, depending on which platform they choose to use. The proposal process is rigorous, and it is the responsibility of applicants to ensure that their submissions comply with all the relevant guidelines. Early submission ahead of the deadline does not exempt applicants from meeting these requirements. The program is managed by the NSF's Directorate for Mathematical and Physical Sciences (MPS) through the Division of Mathematical Sciences (MPS/DMS). Researchers are encouraged to reach out to program directors, such as Tomek Bartoszynski or Stefaan G. De Winter, for further information or guidance regarding their applications. The next target deadline for submitting a full proposal is September 23, 2025, and this deadline recurs annually on the fourth Tuesday of September. This grant opportunity is ideal for researchers and academic institutions seeking to advance theoretical work in mathematical logic. By funding both research projects and academic gatherings, the program fosters collaboration and the exchange of ideas, thus contributing to the broader mathematical community.
Award Range
Not specified - Not specified
Total Program Funding
$2,300,000
Number of Awards
30
Matching Requirement
No
Eligible Applicants
Additional Requirements
The following organizations are eligible to submit proposals to NSF: (a) Institutions of Higher Education (IHEs) Two- and four-year IHEs (including community colleges) accredited in, and having a campus located in the U.S., acting on behalf of their faculty members. IHEs located outside the U.S. fall under paragraph 2(c) below. Special Instructions for International Branch Campuses of U.S. IHEs If the proposal includes funding to be provided to an international branch campus of a U.S. IHE (including through use of subawards and consultant arrangements), the proposer must explain the benefit(s) to the project of performance at the international branch campus and justify why the project activities cannot be Proposal & Award Policies & Procedures Guide I-6 NSF 24-1 performed at the U.S. campus. Such information must be included in the project description. The box for “Funding of an International Branch Campus of a U.S. IHE” must be checked on the Cover Sheet if the proposal includes funding for an international branch campus of a U.S. IHE. (b) Non-profit, Non-academic Organizations Independent museums, observatories, research laboratories, professional societies, and similar organizations located in the U.S. that are directly associated with educational or research activities. (c) Tribal Nations The term “Tribal nation” means an American Indian or Alaska Native tribe, band, nation, pueblo, village, or community that the Secretary of the Interior acknowledges as a federally recognized tribe pursuant to the Federally Recognized Indian Tribe List Act of 1994, 25 U.S.C. §§ 5130- 5131. 2. The following organizations may be eligible to submit proposals to NSF: (a) For-profit Organizations U.S.-based commercial organizations, including small businesses, with strong capabilities in scientific or engineering research or education and a passion for innovation. An unsolicited proposal from a for-profit organization may be funded when the project is of special concern from a national point of view, special resources are available for the work, or the proposed project is especially meritorious. NSF is interested in supporting projects that couple industrial use-inspired challenges and research resources with those of IHEs; therefore, the Foundation especially welcomes proposals for cooperative projects involving both IHEs and industry. Specific NSF funding opportunities also may make for-profit organizations eligible for submission of proposals to the Foundation. US-based affiliates or subsidiaries of foreign organizations must contact the cognizant NSF program officer prior to preparing and submitting a proposal to NSF. (b) State and Local Governments As programmatically necessary and as provided for in a solicitation, State and local governments may be eligible to submit proposals.
Geographic Eligibility
All
Application Opens
March 29, 2018
Application Closes
Not specified
Grantor
National Science Foundation (NSF)
Subscribe to view contact details