Skip to main content
Email Print Share


Name Email Phone Room
Tomek  Bartoszynski (703) 292-4885  1025 N  



Apply to PD 10-1268 as follows:

For full proposals submitted via FastLane: standard Grant Proposal Guide proposal preparation guidelines apply.
For full proposals submitted via the NSF Application Guide; A Guide for the Preparation and Submission of NSF Applications via Guidelines applies. (Note: The NSF Application Guide is available on the website and on the NSF website at:

Important Information for Proposers

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


Full Proposal Target Date

    October 3, 2017

    First Tuesday in October, Annually Thereafter

First Tuesday in October each year.


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.

Conferences and Workshops in the Mathematical Sciences

THIS PROGRAM IS PART OF Disciplinary Research Programs

What Has Been Funded (Recent Awards Made Through This Program, with Abstracts)

Map of Recent Awards Made Through This Program