U.S. National Science Foundation
Foundations
Foundations is a funding opportunity from U.S. National Science Foundation, closing September 22, 2026.
Overview
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…