GrantExec

Artificial Intelligence, Formal Methods, and Mathematical Reasoning

This grant provides funding to libraries, archives, and related organizations in the U.S. to support innovative projects that improve public services and access to information.

$1,200,000
Active
Nationwide
Key Dates

Application Opens

March 5, 2024

Application Closes

February 5, 2026

Contact Information

Grantor

National Science Foundation

Subscribe to view contact details

Newsletter Required
Categories
Science and Technology