Artificial Intelligence, Formal Methods, and Mathematical Reasoning
The summary for the Artificial Intelligence, Formal Methods, and Mathematical Reasoning grant is detailed below.
This summary states who is eligible for the grant, how much grant money will be awarded, current and past deadlines, Catalog of Federal Domestic Assistance (CFDA) numbers, and a sampling of similar government grants.
Verify the accuracy of the data FederalGrants.com provides by visiting the webpage noted in the Link to Full Announcement section or by contacting the appropriate person listed as the Grant Announcement Contact.
If any section is incomplete, please visit the website for the National Science Foundation, which is the U.S. government agency offering this grant.
Artificial Intelligence, Formal Methods, and Mathematical Reasoning: The Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program seeks tosupport research at the interface of innovative computational and artificial intelligence (AI) technologies and new strategies/technologies in mathematical reasoning to automate knowledge discovery. Mathematical reasoning is a central ability of human intelligence that plays an important role in knowledge discovery. In the last decades, both the mathematics and computer science communities have contributed to research in machine-assisted mathematical reasoning, encompassing conjecture, proof, and verification. This has been in the form of both formal methods and interactive theorem provers, as well as using techniques from artificial intelligence. Recent technological advances have led to a surge of interest in machine-assisted mathematical reasoning from the mathematical sciences, formal methods, and AI communities. In turn, advances in this field have potential impact on research in AI.
| Federal Grant Title: | Artificial Intelligence, Formal Methods, and Mathematical Reasoning |
| Federal Agency Name: | National Science Foundation (NSF) |
| Grant Categories: | Science and Technology and other Research and Development |
| Type of Opportunity: | Discretionary |
| Funding Opportunity Number: | 24-554 |
| Type of Funding: | Grant |
| CFDA Numbers: | 47.049, 47.070 |
| CFDA Descriptions: | Information not provided |
| Current Application Deadline: | June 3rd, 2024 |
| Original Application Deadline: | June 3rd, 2024 |
| Posted Date: | March 5th, 2024 |
| Creation Date: | March 5th, 2024 |
| Archive Date: | March 7th, 2026 |
| Total Program Funding: | $6,000,000 |
| Maximum Federal Grant Award: | $1,200,000 |
| Minimum Federal Grant Award: | |
| Expected Number of Awards: | 10 |
| Cost Sharing or Matching: | No |
| Last Updated: | March 5th, 2024 |
- Applicants Eligible for this Grant
- Others (see text field entitled "Additional Information on Eligibility" for clarification.)
- Additional Information on Eligibility
- *Who May Submit Proposals: Proposals may only be submitted by the following: -Non-profit, non-academic organizations: Independent museums, observatories, research laboratories, professional societies and similar organizations located in the U.S. that are directly associated with educational or research activities. - <span>Institutions of Higher Education (IHEs) - Two- and four-year IHEs (including community colleges) accredited in, and having a campus located in the US, acting on behalf of their faculty members.</span> *Who May Serve as PI: As of the date the proposal is submitted, any PI, co-PI, or senior/key personnel must hold either: · a tenured or tenure-track position,or · a primary, full-time, paid appointment in a research or teaching position at a US-based campus of an organization eligible to submit to this solicitation (see above), with exceptions granted for family or medical leave, as determined by the submitting organization. Individuals withprimaryappointments at for-profit non-academic organizations or at overseas branch campuses of U.S. institutions of higher education are not eligible.
- Link to Full Grant Announcement
- NSF Publication 24-554
- Grant Announcement Contact
- NSF grants.gov support
[email protected]
If you have any problems linking to this funding announcement, please contact the email address above. - Similar Government Grants
- • Probability
- • Data Science Corps
- • Foundations for Digital Twins as Catalyzers of Biomedical Technological Innovation
- • Multi-Messenger Coordination for Windows on the Universe
- • Partnerships in Astronomy & Astrophysics Research and Education
- • Foundations
- • Polymers (POL)
- • Program for Research and Education with Small Telescopes (PREST)
- More Grants from the National Science Foundation
- • National Science Foundation Research Traineeship Institutional Partnership Pilot (NRT-IPP...
- • NSF Regional Innovation Engines
- • Cyberinfrastructure for Public Access and Open Science
- • IUSE/Professional Formation of Engineers: Revolutionizing Engineering Departments
- • Probability