Grants

Stream: CSLib

[Jim Grundy]

The Fall 2025 Amazon Research Awards call for proposals for research in Automated Reasoning is open for one more week. That's not long, but proposals are only a couple of pages long. Proposals for work on CSLib are very much in scope:
https://www.amazon.science/research-awards/call-for-proposals/automated-reasoning-call-for-proposals-fall-2025

[Nadim Farhat]

Thanks for sharing