TLA+ Foundation Grants

Grant Program Call for Proposals

The TLA+ Foundation Grant Program is aimed at advancing the state of the art in the TLA+ specification and fostering the experience of using TLA+ in research and industry. Depending on the scope of proposed work, grants may range from USD$1000 to USD$100,000. Applicants who receive grants are expected to complete their work within one year, though exceptions may be made on a case-by-case basis.

Grant Recipients

The TLA+ Foundation is pleased to announce the projects that have been funded by the TLA+ Foundation Grant Program. Grant recipients are selected based on their potential to advance TLA+ technology and benefit the broader community.