[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] TLA+ Foundation Grant Program – 2025 Call for Proposals



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)

--
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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/cd6db2b6-8c95-4af9-bcca-c72da75d6aa4n%40googlegroups.com.