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

Re: [tlaplus] GSOC 2019


we hope to be able to offer some GSOC subjects again this year, but the first step will be to see if Google again accepts TLA+ as an organization. The page you refer to is the canonical starting point. Last year we had one successful project [1] whose development continues and will hopefully end up in the TLC distribution.

Best regards,

[1] https://summerofcode.withgoogle.com/archive/2018/projects/6275225452806144/

On 13 Jan 2019, at 21:53, Aarti Kashyap <kaar...@xxxxxxxxx> wrote:


I am interested in contributing to tlasplus as a part of GSOC 2019. I am aware that the organizations have not been released yet. However, where can I get started?

I looked at the following page: https://github.com/tlaplus/tlaplus/blob/master/general/docs/contributions.md

Are there any changes to the projects. Also can someone please point out where can I get started, just to see if I will be comfortable working on this.

I am a grad student from the University of British Columbia, Vancouver.

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+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.