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.