coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Outreachy and Google Summer of Code for Coq

From: Talia Ringer <tringer AT cs.washington.edu>
To: Talia Ringer <tringer AT cs.washington.edu>, coq-club AT inria.fr
Subject: Re: [Coq-Club] Outreachy and Google Summer of Code for Coq
Date: Sun, 6 Feb 2022 12:33:17 -0600
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tringer AT cs.washington.edu; spf=Pass smtp.mailfrom=tringer AT cs.washington.edu; spf=None smtp.helo=postmaster AT mx5.cs.washington.edu
Ironport-data: A9a23:Cxb7ZKgJ5PRqJzFY9ju9ZRXSX161vRYKZh0ujC45NGQN5FlHY01je htvC2uPOfiNYWuhLd0jbIu/oUgDuJKAndViQFZsqC42RS1jpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UKidUsxIbVcMpB0J0HqPoMZkxN446TSFK1nV4 4mq+ZWBYAXNNwNcawr41YrT8HuDg9yp4Fv0jnRmDRyclAK2e9E9VfrzFInpR5fKatE88t2SG 44v+IqEElbxpH/BPD8KfoHTKSXmSpaKVeSHZ+E/t6KK2nCurQRquko32WZ1hUp/0120c95NJ NplrLGSEhwzB433s989ajxTKwMvJJxjweqSSZS/mZT7I0zudmuxhf51Sl4/Jo0Z/OlrBmcI+ PAFQNwPRknZ16TsmOL9EK8w2qzPL+GzVG8bkm16zDfWAOwOSouFXKzR5d5e0ys3gIZDEeu2i 88xNGMyN0qaPHWjPH8SKK9jhcmKiEXWfhAfjmiX/oRt/m7cmVkZPL/FbYOLKoLRLSlPpW6To XuD9GDkCDkBJdmHwHyE9Gitj6nBh0vGtJk6Ea3lsPVxxkKa3WwSDhIKUl39rPWk4qKjZz5BA 1U52HE1t5ESz2eQbuDYVCWa8We1mydJDrK8DNYGwA2Kz6PV5SOQCW4FUiNNZbQaWCkeGWdCO rihw4+BONB/jFGGYS7CqOfJ/FteLQBQdDVYP35VEWPp9vG+yLzfmC4jWTqK/ESdtdD8BS30z lhmRwBv1+xK0KbnO0hLlG0rbhqptsWPRRVz+QzMXmOj4R9+Ysioa5HABbnnARRocN/xorqp5 SZsdy2iAAYmVsrleMulGr1lIV1Rz6zZWAAweHY2d3Thnhz0k5JZQahe4StlOGBiOdsedDnib Sf74F0Nv84CbSfzMfMrO+pd7vjGK4C9SbwJsdiJMrJzjmRZKGdrAQk1PRPOgTyFfLYEzfBmU XtkTSpcJStDV/Q5l1Jats8A1741yzolxH/CDZf1hwuuyrqfYnGJTrFtDbd9Rr1R0U9wmy2Mq 4w3H5LTm31ivBvWPXGPqeb+7DkicxAGOHwBg5YLL77YfFs6Rz1J5j246epJRrGJVp99zo/gl kxRkGcCoLYmrXGYewiMdF55b7bjAcR2oX4hZHN+Nk3uxHE4YYep47sYcd06caR+rL5vyvt9T v8kfcScA6kVFG2YpWxFNZSt/pZ/cBmLhB6VO3v3aTcySJdsWgjV94K2ZQDo7iQPUnK6uJJm8 b2t3w/WW7QZQAFmAJqEYf6j1Qru73MG3v17REvJJNZPf0Oq/YR3cnSjgvgyKsAKCBPC2jrHj VjPXklA/bHA+tZn/sPIiKaIq5aSP9F/RkcKTXPG6buWNDXB+jvxyIBNZ++EYDTBWT6m466lf +hUk6nxPfBbzlZHt41wT+Riwa4kvYK9oq8HiA9/WmrCdFSqDLx8JX/A0MVS7/UfyrhcsAqwe 0SO5tgHY+vQZ529SAYcdFg/c+CO9fAIgT2Mv/47F0XN+yIqrqGMVl9fPkfQhXUFfqd1Ko4s3 cwopNUSt16kkhMvP9va3DpY8X+Aci4JX6k97MhIBZ+2zAEwjE5LepzdDCDq55fJZtlRaxF4L jiRjavEprJd2kufKSRqSiaVhbJQ1cYUpRRH7F4ePFDXyNDLsf8AwxAMoy88SR5Yz0sb3rsra HRrLUB8OY6H4yxs2JpYR2mpFgxMbPFDFpcdF7fdeKzlo0iUuqjlKX1gf+2Wul8Q6GJdeDdH+ 7fexWr4OdovkAcdwQNqMXOJadS6JTCyyuEGsMu8WduMBJk7ZzX5hanoaGYVw/ciKd1kn1XJ/ IGG484pAZAW9kcsT2kTAJLcyr0LSBGCK3BFR7ds8L5h8aQwvt2t8WDmFn1dsf+h6xAHHYFUx iCuyg9yu8yC6Ruz
Ironport-hdrordr: A9a23:XqCA5qqTcLHKXaxVBprRGEcaV5rzeYIsimQD101hICG9E/bo7P xG+c5w6faaskd0ZJhNo6HkBEDEewK/yXcX2+ks1NWZLW/bUQKTRekIgOffKn/bak7DH4VmpN 5dmsZFeaXN5JtB4vrS0U2XF94hxZ2g66CnheDXyjNIQRtxY69tqydVYzzrdXGeiDMpOXPxLv uh2vY=
Ironport-phdr: A9a23:IoDATB33U6xVSSapsmDO5gwyDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaFo6g3xw+XFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkelM8NlBYhCsPWQWfyLfrtcjBoV J8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZpO+j5AIHfg9qp2+yo+5DffQpEiTm8bLhvM Bi4sALdu9UMj4B/MKgx0BzJonVJe+RS22xlIE+Ykgj/6Mmt4pNt6jxctP09+cFOV6X6ZLk4Q qdDDDs6KWA15dbkugfFQACS+3YTSGQWkh5PAwjY8BH3W4r6vyXmuuZh3iSRIMr5Q60pWTS59 6dkVgPniDsJOT4+9WHYkM1wjKRGqx6lqBFyx4vYbYeIP/R8Y6zdZ8sXSmVPXslTVyJPDICyY ZYRAeUdJutXtZXxqkEUoBeiGQWhBuXiwSJIiH/s2q061vwsHx/c0wwkHtIBqmnfosn0NKcUX uC60rPIxijEYvNKwzf96Y7Ich8/rvGWRr9/bdHRxVMhFgzflVWQqY3lPzWa1uQRtGib6fBsW vyyhG46sgx8pCWkycgwhIfTnI0V1kzE+jtjwIYzPdC1TE51bcKqHpVfqyyXM5Z6T80sTmxmt ys3y7wLtYC0ciUJ1Jkr2hrSZuGaf4aI4hztW/icLDN3inxqZL+yhha8/E69wePyUcm01UxFr itDktTUuXAN0BvT6seDSvRj5EuuxTGP1wXL5uFLIEA0iarbK4M6zbIql5oTtlzPHijrmEXql q+ZaF8r9fSo6+XneLnmoYWcN4BshgHiPKUum9C/AfgmPQgURWSU5eO81Ljl8EbkQ7tKluU7n rTHvJ3ZP8gXuLK1DgxP3oo98RqyADir3MwGkXUbKF9JYhGKgojzN13TIf31DO2zjlutnTpt2 vvIJKfuAo/XIXjGiLrhfahy60pbyAcryNBe6JJZBqsdL/LoQEPwusbXDgQ5Mwy1xebnB8l91 oQYWW6VHKCWLb7SvUeJ5uIpPeaMeJcYtCvjJ/Um/fLik2M1lFwHcaW3x5caZ3+1EuxjI0qDY HrshtkBEX0Nvgo7VOHqlEeCUT9VZ3a9Qa08/Co2B569DYvZSIGimqeB3Ce6Hp1QaWBGFleME XHye4qaRvgMdTqeIsl6nTMcT7iuV5ch1Q2ytA/907drM/LY+jcEupL7yNh1++rTmAku+jxzF sSRyn2CT2VpnmwTXDI2x6B+oUllyliZy6R4gvpYFcZS5/xTSAs6O4TcnKRGDIXOUwbAd5+zS VCpT8/uVS0rT9Q+zsUmaF07BNy5jhHF0DatBfkYm6HdQNQ/9buZ1HzsLe58zWzH3e8vlQoIW MxKYFGvgq92vzLSAYHEiQ3Ni7yrc6sRxgbG7yGcxHGOvUdXTAl2F6jJQCZMNQPtsd3l6xaaH PeVArM9P14dmKZqS4NPY9zt1hBdQev7fc/ZeyS3knuxAhCBwvWNapDrciMTxnaVE1AKxiYU+ 3vOLg0iHmG5uWuLECZvE13ieWvn6q9hoWi7T0k70waMKUBtyun94QYb0MSVUOhbxbcYoGEko jRwEky62ofKEduGqAd7VK5HJ8w0+1dG023FsAo7M5C9fOh5nlBLVQNxsgv10glvTIVNlc9/t HQx0A97Mr6VyntEZ27e1ou2JbTMKmj08wyobejb1ky2PM++3KAJ5bx4rlziuFrsDU8+6zB81 MET1XKA55LMBQ5UUJTrU09x+QIo77fdKjIw4Y/ZzxgOeeG9ryPC1tQ1BeAk1gfoftFRN7mBH RPzFMtSDtanKegjkVykJhweO+Ua+KkxNsKgP/yIvczjdPp6nTSpgH5v65s7zUuX9yt6RfLP2 dAIz+zZlgqLWjHgjUuw59jtkNMhB3laFW6+xC74QY9JM/QoLcBRUTfoeYvrmoYb5dalQXNT+ V+9CklT3caofUHXdFnhxUhL0lxRp3W7mCy+xjgykjczr6PZ0jadpoaqPBcBJGNPQ3FvyFn2J o3hxcwAXU6nYhIBnwDj+k/hx6ldq7h4KS/eTVoCLE2UZylyF7C9sLaPeZsF9IkptypaSsy3e haFQ6X9oh0VzyTlWWZS2XpoElPi8oW8lBt8hmWHKX91p3eMYsB8yyDU49nETOJQ1D4LLMVho QHeHUP0f9yg/NHP0ozGrvj7TGW5EJtabSjsy4qE8iq9/2xjRxOlzbi/ndjuEA5y1iGetZEiS T/JqhnxeKHgzOKlOPlnf09nGFj6rcd2B8lyn5Axi5cZxXUBzszPrTxdyTe1a5MHher3dx9vD XYTzsTQ4RT51UErNX+Py4/jFz2czsZne9imczYT0yM54dpNDfTc57hFkC1p51ug+FuLMb4nx mdbk71ytC1/4alBogcmwySDD6pHGEBZOXepjBGU95Wlq70RYm+zcL+23U44nNa7DbjErBsPP RSxMpokAyJ06d1ydVzW13imoJ3+ed/fYMg7vQbSjB7bj+lTJ442kLwHiTctagef9TU1jvU2i xBjx8TwoJKGLWpg5oqyGVhHPyb1ZsUc5jbry6tSg4zFuuLnVoUkETINUpzySPuuGz9HrvXrO TGFFzgko2uaE77STkePrV1rpHXVH9W3JmmacTMHmM56SkDXdyk9yEgEGS83lZkjGkW2ydz9J Q1nsysJ6Aewo0lXz/5wMATjFGzE4hq3LDo4Vf39ZFJX9l0QvR+Id5bEtqQqQH4ep8H/61fXY m2DO1YSVTxPABbcQQm9Y//3uYeHqLL9ZKL2LuOSM+zU+aoPCrHSmcjpiNE8uG3WfsSXYis7V a19gBITGyg/RoOCwX0OU3BFznidKZTD9FHlqnQx9oflrpGJEEru/dfdUucKd4wzoVbt2+Hab b7X3nsxKC4EhMpQnTmRlOJZhgVOzXg0J373TNFi/WbMVP6Cw/AMSURGM2UpbpQOt+VmgkFMI ZKJ04yukOQl1rhsVQcDDASx3ZrzAK5Ca2ClaAGZVQDabfLceGeNmZqwOvn0SKUM3rwO51vq4 WbdSRa/eGre0GKzMnLneeBU0HPCZkwY4tntNEg1TzG4FpW9MFW6KIMl1Gdmh+ds1jWUbShBb X8nKSYv5vWR6yhcn/lySVta9nQjIu6DlCKUqeLfL94Xt/BvHyh5xflC7jIi0bxJ4SpYRftz3 izPstpppFLgme6Kr1gvGBtIoTJWiI/Zs0l5IavE7d9OQ3vf/B8I5GSUTRUN79pjAdnyt60Cz cXTnqXuLjtH+tPQu8AbAdbVL4SBPWZEU1KhDjfQCEFtoSeDE2bZigQdlfiT8ibQtZ0mst33n 4JITLZHVVszH/dcC0J/HdVELo0lFjUj2aWWisIF/x/c5FHYWdlas5bbV/mTHeSnKTCXiqNBb gcJxrWwJJoaN4ny0UhvIldgm4GCF03VVNFL6ipvC2186F1K62R7R3Yv1ljNbxPwpnQIU+G9h R43jARiZuJr+Tvxoh82KlfMuCosgRwxlNHi0lXzOHb6KKa9W50TCjKh7hJhdMmjE0AvK1Huz ikGfH/eSrlcjqVtbzVugQ7Y4t5UHOJECLZDeFkWzO2WYPMh1RJdrD+mzAlJ/7iga9MqmQ00f Jqrt38F1RhkaYt/ObbRIqVE1HBbneSRtzSo1+Y+3AgYYUsB7SnBHUxA8FxNLbQgKyeyq6Z07 heenjJYZGUWf/86/7Rh7QUiMv+AziTvz7lFbE29KqbMSsHR83iFnsmOTFQq00oOnEQQ5rl63 /AodE+MXlwuxr+cf/zoHc/SdEdedIxN/WPTfCCBreLLh595ItflfggNZeSV8rkdmUKlGgk1G IJK48gcTMHEOK7wJtyhM7ceyRQr6xjsIhOIAOkbIXq2
Ironport-sdr: ZV8SQ8KHStyQWCrRDHRcPQupAxSnTWV8VYwjINZZQpivMwTwKuc+TidC5IznqLQij/zpJoy2VS Gr1IcFEpMByiRJ7sFE0BdEIVJfj3W62I3ZgPP1YZoiLCoIdlqU4THWAEcHVKkyQeyZOWdFmiBw 6Qf8lZLwiQ4k0sRnYXXUS+aOgiEf0p/3Mt263IWlpWU66RUWP7y3ZEAEPHaU51rApurc12X/pO LN1wYK2y0VzFsYT0nsCUYgwv7CLGwwqKDBPb2K9WdYlmvSvRn3kvDsJNoz5N7JlrL+InipMgdv 7DpSQYvCcY5t5c2+T8DnWVDi

Got it, that is quite a commitment, and probably more than I can handle as first year faculty :). But I'd be happy to talk more about ideas.

On Fri, Feb 4, 2022 at 7:34 AM Emilio Jesús Gallego Arias <e AT x80.org> wrote:

Hi Talia,

Talia Ringer <tringer AT cs.washington.edu> writes:

> I'm interested! This sounds cool!

That's great!

> How much of a time commitment do you expect this sort of thing to be?

I guess that's pretty open and depends on the project size and
candidate; I'd say at least half-day a week is expected.

GSOC and Outreachy FAQ and mentor guides may be of help:

- https://developers.google.com/open-source/gsoc/help/responsibilities
- https://google.github.io/gsocguides/mentor/index
- https://www.outreachy.org/mentor/#mentor

Outreachy specifically notes on mentor commitment:

- Committing to 5-10 hours a week during the six-week application period to review applicant contributions
- Committing to 5 hours a week during the three month internship period to work with the Outreachy intern
- Committing to the possibility of the internship being extended for up to five weeks

> And are you imagining this is for Coq contributions directly, or for
> other projects in Coq?

I think all areas related to Coq are very welcome, including projects in Coq!

> And is there a way to avoid being exploitative?

I'm not an expert here, but I trust the procedures already in place for
both programs. I guess the programs are very focuses in actually helping
the applicants / students, which if of course the core goal.

> Are participants paid? Can we pay them, if not?

They are funded a reasonable amount IMVHO ($7000 for Outreachy for example).

Note that there is a difference in the way GSOC and Outreach organize,
but the first step in both is to find mentors and potential projects,
and list them. Unfortunately we don't have a lot of room here.

Γ ⊢ no mentors = no internships for students

I'd take the opportunity here to mention a very interesting idea brought
by Hanneli Tavante here [1] in response to this call:

"What about something more informal, maybe along the lines of SIGPLAN-M, but for Coq?"

We hope to discuss more the idea on the upcoming Coq Hackathon.

Let me know if I can do anything else.

Kind regards,
Emilio

[1] https://twitter.com/hannelita/status/1489301148536348673

[Coq-Club] Outreachy and Google Summer of Code for Coq, Emilio Jesús Gallego Arias, 02/03/2022
- Re: [Coq-Club] Outreachy and Google Summer of Code for Coq, Talia Ringer, 02/04/2022
  - Re: [Coq-Club] Outreachy and Google Summer of Code for Coq, Emilio Jesús Gallego Arias, 02/04/2022
    - Re: [Coq-Club] Outreachy and Google Summer of Code for Coq, Talia Ringer, 02/06/2022
      - Re: [Coq-Club] Outreachy and Google Summer of Code for Coq, Emilio Jesús Gallego Arias, 02/09/2022