The National Science Foundation (NSF) is offering a federal grant opportunity titled "Foundations," aimed at supporting research in mathematical logic and the foundations of mathematics. This program encompasses areas such as proof theory, recursion theory, model theory, set theory, and infinitary combinatorics, and encourages proposals for conferences, workshops, and educational activities related to these fields. With an estimated total program funding of $2,300,000 and approximately 30 awards expected, interested applicants should note that the application deadline is September 24, 2024. For further information, applicants can contact NSF grants.gov support at grantsgovsupport@nsf.gov or visit the program's webpage at http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=5548.