TLA+ was accepted as an "organization" within Google Summer of Code [1,2]. This means that eligible students can suggest projects that they would like to work on in order to further advance the TLA+ tools, and that – subject to the projects being approved by GSoC – these can be carried out in the (Northern hemisphere) summer of 2018.
Applications are open from March 12 to 27. Initial ideas on which concrete projects can be based are available from the TLA+ main page within GSoC [3,4]. If you are an eligible student and intend to submit a project, we'd love to hear from you.
Best regards,
Stephan (also on behalf of Leslie and Markus)
[1] https://summerofcode.withgoogle.com
[2] GSoC FAQ: https://developers.google.com/open-source/gsoc/faq
[3] https://summerofcode.withgoogle.com/organizations/5809586733318144/
[4] https://github.com/tlaplus/tlaplus/blob/master/general/docs/contributions.md