The Coq mailing list

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

Dear Coq Community,

We would like to invite everybody to an online session about improving
diversity in the Coq Community next Wednesday, Feb 6th at 16:00 (4 p.m.)
Paris time.

The session will be part of the monthly Coq Working Group and is open
to everyone [as the Coq WG is].

People who have had difficulty interacting with the community, or those
who come from underrepresented backgrounds within the Coq demographic
are especially encouraged to attend and share their views.

You can join using a browser, please follow the instructions here:
https://github.com/coq/coq/wiki/CoqWG-2019-02-06

Context:
--------

It is no secret that the diversity situation in the Coq community
is quite dire, to put it softly.

The Coq Development team takes these concerns very seriously.

Informal discussions about diversity have already occurred at a few
developer meetings, a Code of Conduct [1,2,3] was added to Coq, and
we are looking into Outreachy [4].

However, we still face a chicken-and-egg problem: the large majority of
people who have participated in such discussions belong to the dominant
profile, thus the very feedback we need from those falling outside of
the dominant profile is still missing.

That's why we are really looking forward to your ideas on how to make
the Coq community more inclusive for everyone.

Best regards,
Emilio

[1] https://github.com/coq/coq/blob/master/CODE_OF_CONDUCT.md
[2] https://github.com/coq/coq/issues/6477
[3] https://github.com/coq/coq/pull/8071
[4] https://www.outreachy.org/