The Coq mailing list

[Emilio Jesús Gallego Arias <e AT x80.org>]

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