Division of Mathematical Sciences
Foundations
![](https://webarchive.library.unt.edu/eot2008/20081027051019im_/http://www.nsf.gov/images/greenline.jpg)
CONTACTS
![](https://webarchive.library.unt.edu/eot2008/20081027051019im_/http://www.nsf.gov/images/bluefade.jpg)
PROGRAM GUIDELINES
![](https://webarchive.library.unt.edu/eot2008/20081027051019im_/http://www.nsf.gov/images/bluefade.jpg)
Apply to PD 04-1268 as follows:
For full proposals submitted via FastLane:
standard Grant Proposal Guidelines apply.
For full proposals submitted via Grants.gov:
NSF Grants.gov Application Guide; A Guide for the Preparation and Submission of NSF Applications via Grants.gov Guidelines apply
(Note: The NSF Grants.gov Application Guide is available on the Grants.gov website and on the NSF website at:
http://www.nsf.gov/bfa/dias/policy/docs/grantsgovguide.pdf)
DUE DATES
![](https://webarchive.library.unt.edu/eot2008/20081027051019im_/http://www.nsf.gov/images/bluefade.jpg)
Full Proposal Target Date
:
Tue Oct 06 00:00:00 EDT 2009
|
|
First Tuesday in October, Annually Thereafter |
First Tuesday in October each year. |
SYNOPSIS
![](https://webarchive.library.unt.edu/eot2008/20081027051019im_/http://www.nsf.gov/images/bluefade.jpg)
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.
See additional information
THIS PROGRAM IS PART OF
![](https://webarchive.library.unt.edu/eot2008/20081027051019im_/http://www.nsf.gov/images/bluefade.jpg)
Disciplinary Research Programs
![](https://webarchive.library.unt.edu/eot2008/20081027051019im_/http://www.nsf.gov/images/x.gif)
Abstracts of Recent Awards Made Through This Program
|