Supports research in mathematical logic and the foundations of mathematics, including proof theory, recursion theory, model theory, set theory and infinitary combinatorics.
Supports research in mathematical logic and the foundations of mathematics, including proof theory, recursion theory, model theory, set theory and infinitary combinatorics.
Synopsis
The Foundations program supports research in mathematical logic and the foundations of mathematics, including:
· set theory,
· model theory,
· computability theory,
· proof theory,
· infinitary combinatorics, and
· emerging areas where foundational methods are impactful.
Target submission date: Foundations proposals should be submitted to MPS Mathematical Sciences Research Programs solicitation. Target date for submissions is the fourth Tuesday in September.
Conferences
Proposals for conferences, workshops, summer/winter schools and similar activities in Foundations must be submitted to the MPS Mathematical Sciences Research Programs solicitation using the "conference" or “travel” proposal type in research.gov. Proposers should select Foundations as the program of interest. For proposals seeking no more than $50,000, submit at least six months in advance of the conference or workshop date. For proposals seeking more than $50,000, submit at least nine months in advance of the conference or workshop date.
Program contacts
| Name | |
|---|---|
|
Tomek Bartoszynski Program Director
|
PCF@nsf.gov |
|
Stefaan G. De Winter Program Director
|
PCF@nsf.gov |