TLA+ Foundation Grant Program – 2025 Call for Proposals

[Markus Alexander Kuppe]

The TLA+ Foundation is accepting proposals for grant funding to support projects that advance the state of the art in TLA+ and improve the experience of using TLA+ in research and industry. Grants will be awarded based on the significance of the proposed work and its potential to benefit the TLA+ community.

Researchers and practitioners are both encouraged to apply.

Proposals on any TLA+ topic are welcome. If you’re looking for ideas, we’ve posted a list of focus areas on the TLA+ GitHub that can be used in your proposal. 

To apply, fill out the application template with your proposal details and submit it through the form on our website.

For any questions please reach out to grants <at> tlapl <dot> us.

Markus

(on behalf of the TLA+ Foundation)

[Finn Hackett]

Hello,

I just went back to copy the template, and it's been replaced with someone's grant application.

Can we have the template back? (also the person probably wouldn't want their complete application doxxed)

Best,

-Finn

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/cd6db2b6-8c95-4af9-bcca-c72da75d6aa4n%40googlegroups.com.

[Finn Hackett]

Just notifying, this is fixed now. Thanks Amanda!

(turns out her "hey I fixed it" reply was only visible to me, and I got half way through a confusing conversation with someone else before noticing that only I could see the fix notification)

Best,

-Finn