Contexium

Foundations

Foundations is a published development and funding opportunity on Contexium. The donor or funder is U.S. National Science Foundation. Project location(s): United States. Applications close on 22 Sep 2026. 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…

Opportunity overview

Project name
Foundations
U.S. National Science Foundation logo
U.S. National Science Foundation
Donor
U.S. National Science Foundation

Key details

Opportunity start date
Opportunity end date
Project location(s)
United States

Summary

The program in Foundations supports research in mathematical logic and the foundations of mathematics, including proof theory, recursion theory, model...

Frequently asked questions

What is Foundations?

Foundations is a published development and funding opportunity on Contexium. The donor or funder is U.S. National Science Foundation. Project location(s): United States. Applications close on 22 Sep 2026. 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…

Who is funding Foundations?

Foundations is funded by U.S. National Science Foundation.

When is the deadline to apply for Foundations?

The application deadline is 22 Sep 2026 00:00 (UTC).

Where will the Foundations project take place?

The project location(s) are: United States.

How can I apply for Foundations?

Create a free Contexium account to view the full opportunity details and submit an application via the marketplace.