Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • From: Talia Ringer <tringer AT cs.washington.edu>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Outreachy and Google Summer of Code for Coq
  • Date: Thu, 3 Feb 2022 19:43:08 -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:N0Qgsaq8KKNkJHe1eIK117DvOjBeBmLKYxIvgKrLsJaIsI4StFCzt garIBmPO/jYN2fye9Ena4Sz8UMFsJHSydM3QQFopH1gRS5D8+PIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKicfHkZqTZMEE/Nszo68wICqtMu0YjR7z+l4 4uo+ZWFYAT9gVaYD0pNg069gEM31BjNkGhA1rAOTagjUIj2yhH5pLpGTU2AByOQrrt8RoZWd M6fpF2NxV41yj92Yj+TfhkXRWVRKlLaFVDmZnO7wMFOiDAazsA5+v5T2Pbx9S67hh3R9+2dx umhurSpSV8DDLSUtt4lVh1bTnAnOqRg5L7IdC3XXcy7lyUqclPp06goB1pwIoQD+udxDn1J8 7oVJC1lghKr3rjmhujjGq82wJh/RCXoFNt3VnVI0SvYC/krW7jIWOPV7MRY3TE/msdIW/vSe qL1bBIzPUqQOE0QUrsRIJxijvikglCiTxh7rVyemrQM+S/4nDUkhdABN/KII4LaG549clyjj mnB5iHyBgwQHMeOzCKMtHOqnO7G2y3hML/+D5W95qMsi0bV2WUICBwQWke8p7+0hlPWt89jx 1I84yp2h5orrGKRdtz5XEDp+XmNmAIdVI8FewEl0z2lxq3R6gefI2ELSD9dddAr3PPaoxR2j zdlePu1WVRSXK2ppWG1qujK/W7jUcQBBSpbP3VeHFpZizX2iNxbs/7Zcjp0/EdZZPXOFDjs3 zSHxMTVr+RD1JdWv0lXEKCuvt5Bjp3ZE0g+/UPIV3ml7wV2eImjIYGk9DA3DMqszq7FFjFtX 1BdxaByCdzi6rnXzESwrB0lRu3B2hp8GGS0baRTN5cg7S+x3HWoYJpd5jpzTG8wbJpfKWS1O hWK5VgJjHO2AJdMRfIrC25WI5l2pZUM6fy5PhwpRoEWP8YvKGdrAgkyNRL4M5/RfLgEzPhha cnAGSpdJWscCLpq1iG3W/ZV1rFj2SklxWLVSoz8yXyaPUm2ORaopUM+GAbeP4gRsfLfyC2Io ok3Cid/40gGOAEISnKMqtB7wJFjBSVTOK0aXOQMJ7Paf1o7RDp8YxITqJt4E7FYc21uvr+g1 hmAtoVwkTITXFXLdleHbG5NcrTqUcotpH43J3Vzb12znWcqeoau6qgDcJ1xcLU6rbQxwflxR vgDWsOBHvUSEGqepGpFNcHw/N54aRCmpQOSJC70MjEwcqlpSxHN5tK5LBDk8zMDD3bvuMZn+ ++g2wrXTIAtXQNnCMqKOvujw0no4ioWg6RtVlDII99cZELqtoVmNnWp3PMwJsgNLzTFxyebi lzIWEhG/bGVrtZsotfThK2Co4O4KMdEHxJXTzvB8LK7FSjG5W7yk4ZPXdGBcS3ZSG6pqr6pY v9Yzq2kPfAKwARKvo57H+o5xK4y/YG29bpKk0JvBzPUZk+rC7VvPn6Am8RDq/QVlLNevAK3X GOJ+8VbZO/XYZy7SAZJKVp3dPmH2NEVhiLWs6Y/LnL60zB6oeicWkJIMhjS1CEEdOlpMJkoy PsKsdIN71DtkQIjN9uL0nJO+2KXIiBSWqkrrMtDUor710wg0RddaIfcCyn5/JaJLdhALxByc DOTgaPDgZVax1bDLiBtTCeThbIFiMRcog1OwX8DO0+NxIjPiMg36wJcrGYsRQNPwxQZj+8qY jp3N1d4LLml9itzgJQRRHilHgxMCXV1IKAqJ4flQIEYc6WpaoAJBGgtZKCG5wYG+nlcfz5U4 LaejmvpTF4GuS03MjQaASZYRz7LFLSdNTEuXOisBIKaFoI6YDzqnqioI2cEtnMLxOsv0Vbfq 7ACEPlYMMXG2O15n0H/I4KBk6sZUxCFImNeRvcn8a8UdY0ZlPdexhDWQ32MlghxyzAmPKN25 wGC5i6Cavhm6Buzkw==
  • Ironport-hdrordr: A9a23:fphGT6NC5UrgysBcThmjsMiBIKoaSvp037BL7TELdfUxSKalfq +V7ZAmPHPP+VMssTQb6LK90cq7IU80l6QFh7X5VI3KNGKK1FdAbrsSjrcKqAeQYhEWmNQtrZ uIsJIQNPTASXZ/hcb+pC+iE9ghx9GDtISln/3XwXsobSwCUdAG0+60MGim+4RNJTV7OQ==
  • Ironport-phdr: A9a23:NYxHrBR26/UC85yWDlaQKxfLp9psohOWAWYlg6HPa5pwe6iut67vI FbYra00ygOTB8OHu7kf1KL/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNfQlEnjWwbLB9I Bi4rwjaq9Ubj5ZlJqst0BXCv2FGe/5RxWNmJFKTmwjz68Kt95N98Cpepuws+ddYXar1Y6o3Q 7pYDC87M28u/83kqQPDTQqU6XQCVGgdjwdFDBLE7BH+WZfxrzf6u+9g0ySUIcH6UbY5Uimk4 qx2ShHnlT0HOiY2/2HZiMN+jKxVrhG8qRJh34HZe5uaOOZkc67HYd8WWWhMU8BMXCJBGIO8a I4PAvIfM+lCq4n9pkEBpgaiCwmtAuPvxSFHhmXr1qA9z+QhCwDG3AovH90QqnTZt8n6NLwIX eG71qbI1jXDb/JQ2Tfy9IjIdRYhreuSUr1tbMrc0E8iHB7KgVuMs4LqJS+V1vgTvGiB6eptT eKihmEnpgxxoDWhycghh43Ui48XxF7K+jh0zYY7KNCmRkN2fdGpHZlUui+UK4Z7X8IvTmVpt Son1rELu522cTYMxZ86yRDfbPmHfJKJ4hLlTOuRJit3i2hgeLK7nRqy9lKgyuLkWsmzzVZKs jBFncfWuX8R1xzS6tKLSvxn/keuwTqO2QHT6v1EIUA7kqrbLJEhwroumZYJrUvDGSr2lUPrh 6GVbkUp4vWk5/rkb7n8uJOQK4x5hhvgPqg0lcGyDvw0PhYSU2Wf4+ix173u8VfkTLhLj/A6i KnUvZ/cKM8GvKC2GRVV3Zwm6xunDzepztAYnX4fIVJAdxOKj5LlNE3VIPziA/awmU+skDdqx /DAMb3hHpLNLn7ZnLj/YLl99lZQyAs1zd9B+5JZEqwNLOzwV0PrqtDUEhw0Pxaqz+r9B9hw2 ZsSWWeVDa+YNKPSv0WI5uUqI+SUeI8Vojf9K/4q5/Hwl380gkMSfbKz0ZoZcn+4BfRmI0SfY XrjntcBFmEKshAgQ+P3lV2OSThTaG2qUKIm+j47EJ6mDZvERo21nbCNxD27EYFOZmBaFlCMF m/leJmDW/cVcS6dPsthkiEfWrW6UI8g1RSutBfgxLZ9L+rU/DcYtZP529Rv6e3Tj0J6yTshB MOElmqJUmtcn2USRjZw0rosj1Z6zwK/2Kx5irRiFNpc6ukBBhsgNJjTwvZSAMu0RQvaftaPR 0qhRJOrDSxnHYF5+MMHf0soQ4bqtRvExSf/W9f99pSODZ0wqefH2mTpYt160zDA3bUgiF8vR o1OM3enj+hx7VubHJbHxmOekavibqEAxGjV7m7W0XCPuk5VSiZ7SuPaVGsfZ03ZsdP/oE7OU uzmEqwpZzNI0tXKMa5WcpvshFRCSu3kPYHCeWO3lGqqLR2TgKyFd4rrfWoB2yObBUQZwEgI5 XjTEw84C2+6pn7GSjxjEVW6e0T37ex3s2+2VGcx31zMZFYnyLOu+h8TiuCbTbUe0q9sVD4Jj TJyER792tvXD4HFvA99ZOBHZst75l5b1GXfvgg7P5q6LqkkiERMOwJw91jj0Rl6EOAi2YAjs W8qwQxuKKmZzEIJdjWW2or1M6HWLW+69Q6maqrf0FXTmNiM/aJH5PM9olTl9Aancyhqu2l90 t9a3mG07Y6MEwMJUZP3XVow8V53q6ybKigx6oXI1GF9ZLGuu2ynuZphD+8kxxC8OtZHZfreR EmoS51cXY7ydL9P+RDhdB8PMeFM+bRhOsqnc6DDw6u3JKN7myrgi21b4Yd720bK9ixmS+eO0 YxWppPQlgaBSTr4i0+s987tnoURLy0IH2ywxDLMD5UXeaRpfYcNBnupJYu6ysg01PuPEzZIs UWuAV8LwprjZQCTaVPwxyVbzgIIqGenmC230zty1Twls+DMuU6Gi/Snfx0BNGlRQWBkhlq5O om4gecRW02wZhQonh+ojarj75BSv783b2zaQEMTOjPzM3knSayo8LyLf89I7pos9yRRSuW1J 16AGPbxpB4T0iWrGGU7pnhzayurvJr0hTRxkySCJW1zrXzWZcZ2gxrT+ZTQSOVQ0TwPWCRjw WCNVh7mZ4nvp5PIy9/KqYXcHyq5W4dWcDX3wI/Irya96WBwQFW+k/21htz7AF0/2C7/2cNtU HaApxL9b4/3kqWiZLs9Lg8yXA+6sYwmRtIb8MN4npwb1HkEi4/A+HMGlTy2KtBHwefla2JLQ zcXwtnT6Qyj2Ut5L3vPyZiqMxfVisZnedS+ZXsbnywn6MUfQruO7bpLkDFdqUH+sgvKYfl7k Ssaz70j5GNQ0IRr8EI9iz6QBLwfBxwSITbtkRuF9fi1t+NIbX2vcL6/yE14292tEfvRx2MUE Ga8cZAkEyhq68x5O1+Zy3z/5Lbvf9zIZM4SvBmZwF/QyvJYI5Urmr8WlDJqbCjj6GY9xbdx3 nkMldmq+ZKKIGJ38OelDw5EY3frMtgL9GilhPRFm9qO2J2zWJ56XCgUGpbkUJfKWHoTrai1b V7TVmdm8jHCRuWZRFPBrxw853PXT8LxbyzRfiNBi4w8GV/EeBIY21pxPn1yn4ZlRFnwlIqwL QEjumpXvASi7UAWguNwa0umCDeZ/l/4LG9yFd/EdlJX9l0Qvh2Fd5bGvqQqT3geptr78mnvY iSaf1gaVD1RHBXYXRa4ZP/3v4mHqbXQB/LifaKSOfPX9bYYDazUg8v1gsw8olPufo2OJiUwV qJgnBAeBTYjQZufw3JVF2QWj36fNpHA4k3homsu8JD5qay7H1m1gOnHQ7pKbYcxqlbn2OHZa rTW3n0+cmwQ14tQlyaSmP5FhA5U0XgyMWfwVu9a0EyFBKPIxv0OVU5dMXsjcpUQqftnhE4WY 4bako+nj+QoyKRtWxEbDRq8xobyP6loaym8MljDGUqGZoOdPTONzMbwbqexD7ZXia1VsRa0p DqWQVT7MHKbjT71WhuzMOZKyiaGIBhZv4L7eRFobAqrBNPgYRmmPNIlgzEt2bMpnTXEL2MHM TV5ekJJ6LyXpSJeifFiF2ET6Wd5J+6ZnSqc5ujcbJ0Rt+VqBWJymv4/gjxy3bJR6GssqOVdv izUo5YuplinlrLK0T97SF9VrS4NgouXvEJkMKGf959aWH+C8ghfpWOXQw8HoddoELiN8+hZ1 8TPmaTvKTxD78Oc/M0SANLRId6GN3xpOATgGTrdBg8IBTCxMmSXi0tYmfCUvnqby/py4oDrg 4YLQ6RHWUYdE+NHTE9+WsMLO5d2WDw4lrjdgcIVpDK/oBTXWMRGr8XHW/aVUpCNYH6SibhJY QdNwKutdN5DcNejiwo4LAUmz+GoUwLKUNtAozNsdFoxqURJqz1lS3ErnlnickWr6WMSEvi9m lg3jBF/aKIj7mSJgR9/K1zUqS83iER0l8/ihGXbbCTwKqi9R6ldEGzrvlMxM5X0XwFzKwC+g AY3UVWMD6IUlLZmeW1x3UXEvoBTHPdHUaBeSBoAmLecfLM32E9cqyOo2UhBo+bJFNEx8WliO Y7ppHVG1QV5adczLqGFP6tFwG9bgaeWtzOp3OQ8qOf7D00WtnybYy4JvkMUMb9gKia1rLQEA e2qnisePmMXEeUjufJr8EwhPOLGwi79geYrwq+ZPPfZMKqCu2nGmtKPRBU92l5aziF4
  • Ironport-sdr: l/WtlXg1QklkianG2zOa0TYhV6GZBzF1yFE+99ekzlIzryqgdZYE2l5mMibkMO2mqTLjn9fx8m RPuhdjddTXscbAjScGfUTZimYoUx+4iPYPedybGEGdyfLkeeiycGtKODw6aNHh5mUf/rQgDLau aAxlVw92cNL1F+G3RzjhX5AUBvVMZxk0QhESJ7sw9wfF+BzD1axLtHBa8pVEy5HL2bX4b2nxNm fuLuHWoborDFYlUgjG9ZQENrobNTQQVzt+rpKT/IO5WZOc46XLcMAmaUjc/QM5ShionPNTH4hL 7uB2ToZoDQqyOedgStGEZ3tA

I'm interested! This sounds cool! How much of a time commitment do you expect this sort of thing to be? And are you imagining this is for Coq contributions directly, or for other projects in Coq? And is there a way to avoid being exploitative? Are participants paid? Can we pay them, if not?

Talia

On Thu, Feb 3, 2022, 11:55 AM Emilio Jesús Gallego Arias <e AT x80.org> wrote:
Dear Coq Club,

the Coq team is looking for people interested in being mentors for the
Outreachy and Google Summer of Code programs for 2022.

We hope this can help improving the dire situation of our community in
terms of diversity, even if just a bit.

Please, get in touch if you would like to help! If you are not familiar
with the programs themselves, I'll be happy to try answer any question
or comment.

If you are curious, you can check the Outreachy reports and proposals
for the OCaml community at their Discuss, for example
https://discuss.ocaml.org/t/announcing-our-new-outreachy-interns/8932

Deadlines for mentorships applications are respectively Feb 21th and Feb
25th, so we should get in touch at least one week before as to plan
accordingly.

The program's websites:

- https://www.outreachy.org/
- https://summerofcode.withgoogle.com/

Kind regards,
Emilio



Archive powered by MHonArc 2.6.19+.

Top of Page