Foundations

Full Proposal Target Date: September 27, 2022 Program Guidelines: PD 18-1268The 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. ConferencesPrincipal 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, ...More at https://beta.nsf.gov/programid/5548This is an NSF Upcoming Due Dates item.
Source: NSF Upcoming Due Dates - Category: Science Source Type: funding