Artificial Intelligence, Formal Methods, and Mathematical Reasoning

0 Saves · 0 Shares · 0 Comments Discussion

Grant Name

Funder

National Science Foundation (NSF)

Country or Region

United States

Research Field

Science and Technology and other Research and Development

Deadline

Feb 05, 2025 12:00:00 AM EST

Grant Size

1200000

Contact Info

National Science Foundation Grantsgovsupport@nsf.gov

Eligibility

Eligible Applicants:

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. -
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.
*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.

Grant Number

24-554

Description

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.

Website

http://www.nsf.gov/publications/pub_summ.jsp?ods_key=nsf24554

Funding resources
Purdue Grant Writing Lab: Introduction to Grant Writing	Open Link
University of Wisconsin Writing Center: Planning and Writing a Grant Proposal	Open Link

Quick share

Add deadline to calendar

Feb 05, 2025 12:00:00 AM EST

Have a funding opportunity that you want to list here?

Submit the grant details to support@peeref.com for review and listing.

Suggest reading

Canadian Institutes of Health Research Profile

Bill and Melinda Gates Foundation Profile

Empowering Innovation: A Spotlight on the National Science Foundation

Find Funding. Review Successful Grants.

Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.

Explore

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started

Related opportunities

EXtended Reality Modelling (RIA): Digital Agenda 2024-08-01 €424240

Foreign Assistance Leveraged for Cybersecurity Operational Needs - FALCON: Other (see text field entitled "Explanat... Aug 02, 2024 12:00:00 AM EDT 10000000

EXtended Collaborative Telepresence (IA): Artificial Intelligence 2024-08-15 €1000000

Capacity building and awareness raising on the EU Charter of Fundamental Rights: N/A 2024-09-18 €16000000

Mathematical Foundations of Artificial Intelligence: Science and Technology and other Researc... Oct 10, 2024 12:00:00 AM EDT 1500000

Centers for Chemical Innovation: Science and Technology and other Researc... Oct 22, 2024 12:00:00 AM EDT 4000000

Post-quantum cryptography transition: Digital Agenda 2024-11-20 €18900000

Detection and tracking of illegal and trafficked goods: Protection of citizens (goods and people... 2024-11-20 €6000000

Molecular Foundations for Sustainability: Sustainable Polymers Enabled by Emerging Data Analytics: Science and Technology and other Researc... Jan 16, 2025 12:00:00 AM EST 9500000

A European Collaborative Cloud for Cultural Heritage – Innovative tools for digitisation and analysis of dynamic processes, objects and complex combined data: Cultural studies, cultural diversity 2025-01-22 €12000000

Funding resources