coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] [Announce] Diversity Community Session

From: Emilio Jesús Gallego Arias <e AT x80.org>
To: José Manuel Rodríguez Caballero <josephcmac AT gmail.com>
Cc: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] [Announce] Diversity Community Session
Date: Tue, 05 Feb 2019 03:38:34 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Pass smtp.mailfrom=e AT x80.org; spf=Pass smtp.helo=postmaster AT x80.org
Ironport-phdr: 9a23:8gJVmB0K2wIvGN05smDT+DRfVm0co7zxezQtwd8Zse0QIvad9pjvdHbS+e9qxAeQG9mDu7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHPYAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okCYHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYP+d8cKzAZ9MXXWpPUNhMWSxGDIOyYYkAAekPMulXs4bzqEADrQenBQS2GO/j1iVFi33w0KYn0+ohCwbG3Ak4EtwBtXTUrdH1NKYVUe+tyKfH0y7Dd+lN2Tjl6YbHaBQhofWSUrJ/dsre0VUiFxnEjlqKsozuIjSY2foWvmmU7OdsSfiji2k9qwF+uzWiwNonhIrRho8N11zJ9iZ0zJwrKdGmSUN3e8OoHZlNuy2AKod7TN0uT3lqtSs40LEKpJC2cSkQxJg52xLTdeaLfoqG7x/lSe2fOy13hGh/d7K6nxuy8Vavyun7VsSs31dHrTZJnsPLtnAX2Bzf8smHSv1j8Ue9wTuDygPe5+JeLUwqi6bWKoQtzqMym5YOq0jPAyH7lFvugK+TbEok++yo6+r9YrXho5+RL5F7hxrxM6kthsCzG+M4MhIBX2SD4+SzyKXj/VHlQLVNlvA5jq7ZsInDKcsHoq65HhRa35046xe/CjemyM4XkWMGLFJDYhKHjpLmN0vAIPDiXr+DhAGOlyzqj9XPOKDsBt33KXTZFbj8cKQ1wEdWwQ43wMpYr8ZWDaoMOPL4X0b6nNPdBx49dQezxrC0Js9609YzXGOLA6iuEq7JI0S/yesrJ+SDY7g8ojf0MLBx6tb+3Sd/nkUSK/r6laALYWy1S6w1a36SZmDh15JYST9T71gOCdfygVjHagZ9InO7XqYy/DY+WdC2Xd+FQZqi0uXYgHWLW6ZOb2UDMWiiVG/yftTWS6dULiWILZ05y2FWZf2aU4YkkCqWmkr6xr5gf7jEqnVesojshoF4
Organization: X80 Heavy Industries

Emilio Jesús Gallego Arias
<e AT x80.org>
writes:

> Actual discussion on concrete steps to improve Coq's diversity situation
> and on the community is much welcome of course.

I meant to write "and on the upcoming community session is much ..."

E.

[Coq-Club] [Announce] Diversity Community Session, Emilio Jesús Gallego Arias, 02/05/2019
- Re: [Coq-Club] [Announce] Diversity Community Session, José Manuel Rodríguez Caballero, 02/05/2019
  - Re: [Coq-Club] [Announce] Diversity Community Session, Emilio Jesús Gallego Arias, 02/05/2019
    - Re: [Coq-Club] [Announce] Diversity Community Session, Emilio Jesús Gallego Arias, 02/05/2019
      - Re: [Coq-Club] [Announce] Diversity Community Session, José Manuel Rodríguez Caballero, 02/05/2019
  - Re: [Coq-Club] [Announce] Diversity Community Session, Larry Lee, 02/05/2019