Simpler Grants.gov #PD-18-1268

NSF Solicitation for Mathematical Logic and Foundations Research Activities

The U.S. National Science Foundation (NSF) is inviting proposals for its Foundations program, focused on advancing research in mathematical logic and foundational mathematics. - Government Buyer: - U.S. National Science Foundation (NSF) - Scope of Solicitation: - Supports research in proof theory, recursion theory, model theory, set theory, and infinitary combinatorics - Seeks proposals for conferences, workshops, summer/winter schools, and similar academic activities - Funding Details: - Total available funding: $2,300,000 - Expected number of awards: 30 - No cost sharing or matching required - Eligibility and Requirements: - Open to all eligible applicants (unrestricted) - Proposals for conferences and workshops must be submitted eight months before the requested start date - Products/Services Requested: - No commercial products or OEMs specified; this is a grant for academic research and event support - Notable Requirements: - Emphasis on advancing foundational research in mathematical sciences - Focus on supporting academic events and collaboration

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. It funds conferences, workshops, summer/winter schools, and similar activities in the mathematical sciences. Proposals for conferences and workshops should be submitted eight months before the requested start date. The program is unrestricted in eligibility and does not require cost sharing or matching. The total funding amount is $2,300,000 with an expected 30 awards.

View original listing