Google Summer of Code

[Stephan Merz]

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

[Deepesh Thakur]

Hi,

    I am Deepesh Singh Thakur, second year undergraduate student pursuing Civil Engineering in Indian Institute of Technology, Kharagpur, India and I would be delighted given the opportunity to contribute to your organisation. I have been following this Google Group and your Github page for quite some time. I have also been through the online resources for TLA+ and I am also reading the book "Specifying Systems" by Leslie Lamport for detailed knowledge of TLA.

    While going through the list of proposed ideas, I found the following very interesting:

•  Search for SCCs
•  Checking under symmetry

   While exploring the issues tracker, I found that the query #146 (https://github.com/tlaplus/tlaplus/issues/146) could be another interesting area of work.

   I am quite comfortable with the Eclipse development environment with knowledge of Java and C++ languages and basic knowledge of TLA+. Furthermore I am a fast learner and I love to explore the challenges of larger code bases. If given the privilage, I am hoping to learn a lot from this experience and to attain the maturity to deal with real systems and their issues.

Regards,

Deepesh Singh Thakur

[Markus Kuppe]

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