Stream: Miscellaneous

Topic: Amazon call for automated reasoning proposals


view this post on Zulip Karl Palmskog (Sep 25 2023 at 14:28):

Maybe some people here will be interested in this call for proposals to be considered for funding: https://www.amazon.science/research-awards/call-for-proposals/automated-reasoning-call-for-proposals-fall-2023

"Theorem proving" is explicitly included as a category.

Amazon Research Awards (ARA) are structured as one-year unrestricted gifts.


Last updated: Jun 17 2024 at 22:01 UTC