Re: [tlaplus] Google Summer of Code

[Markus Kuppe <tlaplus-go...@xxxxxxxxxxx>]

On 19.02.2018 14:14, Stephan Merz wrote:
> 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.
Hi students,

a friendly reminder that your applications are due in two days from now
on March 27 at 16:00 UTC. We look forward to review lots of applications.

Best
Markus