Open Grants Today8,411$72.3B
Opened This Week189$1.6B
Closing This Week115$2.1B
Open Grants Today8,411$72.3B
Opened This Week189$1.6B
Closing This Week115$2.1B
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

Unlock this content and more for free

Join thousands of grant professionals who trust GrantExec

โœ“Market insights
โœ“Expert tips
โœ“Funding trends
โœ“Deep dives

By subscribing, you agree to receive our newsletter and marketing emails. You can unsubscribe at any time.

Key Dates

Application Opens

March 5, 2024

Application Closes

February 5, 2026

Contact Information

Subscribe to view contact details

Newsletter Required
Categories
Science and Technology