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:

"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