Stream: Miscellaneous

Topic: Amazon call for automated reasoning proposals

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: Nov 29 2023 at 21:01 UTC