Foundations

The U.S. National Science Foundation's Foundations program supports research in mathematical logic and the foundations of mathematics. This includes areas such as proof theory, recursion theory, model theory, set theory, and infinitary combinatorics. The program also supports conferences, workshops, summer/winter schools, and similar activities. Key aspects of this opportunity include: • Support for research in mathematical logic and foundations of mathematics • Funding for conferences, workshops, and other activities • Opportunity for unrestricted entities to apply, subject to eligibility clarification • Estimated funding of $2,300,000 with 30 awards expected • No cost sharing required • Applications should be submitted by the specified deadline, with conference and workshop proposals submitted eight months before the requested start date.