Important Information for Proposers

A revised version of the NSF Proposal & Award Policies & Procedures Guide (PAPPG) (NSF 22-1), is effective for proposals submitted, or due, on or after October 4, 2021. Please be advised that, depending on the specified due date, the guidelines contained in NSF 22-1 may apply to proposals submitted in response to this funding opportunity.


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.


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.

Program Contacts


Tomek Bartoszynski
Program Director (703) 292-4885 MPS/DMS
Stefaan G. De Winter
Program Director (703) 292-2599 MPS/DMS

Awards Made Through This Program

Browse projects funded by this program
Map of recent awards made through this program