Abstract collage of science-related imagery
Foundations

Important Information for Proposers

Any proposal submitted in response to this funding opportunity should be submitted in accordance with the NSF Proposal & Award Policies & Procedures Guide (PAPPG) that is in effect for the relevant due date to which the proposal is being submitted. The NSF PAPPG is regularly revised and it is the responsibility of the proposer to ensure that the proposal meets the requirements specified in this solicitation and the applicable version of the PAPPG. Submitting a proposal prior to a specified deadline does not negate this requirement.

Supports research in mathematical logic and the foundations of mathematics, including proof theory, recursion theory, model theory, set theory and infinitary combinatorics.

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.

Program contacts

 

Tomek Bartoszynski
Program Director
tbartosz@nsf.gov (703) 292-4885 MPS/DMS
Stefaan G. De Winter
Program Director
sgdewint@nsf.gov (703) 292-2599 MPS/DMS

Awards made through this program

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