Foundations

NSF PD-18-1268
Posted: Mar 29, 2018 12:00:00 AM EDT
Closes: 09/22/2026

Funding Information

Estimated Total Funding
$2,300,000
Expected Number of Awards
30

Description

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.

Conferences

Principal Investigators should carefully read the program solicitation "Conferences and Workshops in the Mathematical Sciences" (link below) to obtain important information regarding the substance of proposals for conferences, workshops, summer/winter schools, and similar activities. Conference and workshop proposals should be submitted eight months before the requested start date.

Synopsis

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.

Conferences

Principal Investigators should carefully read the program solicitation "Conferences and Workshops in the Mathematical Sciences" (link below) to obtain important information regarding the substance of proposals for conferences, workshops, summer/winter schools, and similar activities. Conference and workshop proposals should be submitted eight months before the requested start date.

Eligibility

Eligible Applicants:
Unrestricted (i.e., open to any type of entity above), subject to any clarification in text field entitled "Additional Information on Eligibility"

Funding Activity Categories

Science and Technology and other Research and Development

CFDA Numbers

  • 47.049 - Mathematical and Physical Sciences

Contact Information

Agency: National Science Foundation
Contact: U.S. National Science Foundation
Phone: 703-292-4203
NSF grants.gov support
grantsgovsupport@nsf.gov

Additional Information

Document Type: synopsis
Opportunity Category: Discretionary
Version: 13
Last Updated: Oct 09, 2025 11:00:07 PM EDT

Related Opportunities