The U.S. National Science Foundation is an independent federal agency that supports science and engineering in all 50 states and U.S. territories. NSF was established in 1950 by Congress to promote the progress of science, advance the national health, prosperity and welfare, and secure the national defense.
The program focuses on supporting research in mathematical logic and foundations of mathematics, including various subfields such as proof theory, recursion theory, model theory, set theory, and infinitary combinatorics. It also covers guidelines for funding conferences, workshops, summer/winter schools, and similar activities in the mathematical sciences. Principal Investigators are advised to submit their conference and workshop proposals eight months before the desired start date.