So it seems there will be no Coq Users and Developers Workshop this year (which would put the next one almost a year away). But is there any chance for some kind of ad-hoc online replacement? I have several pet projects (e.g., this) that would need guidance from devs, and most effectively done without interruption over perhaps 1-2 days. For example, the dev team could announce that key members will be available for support in the Zulip during specific dates, which even might include video chat/screensharing.
Something like that was supposed to be planned for this Fall. I hope that @Pierre-Marie Pédrot can fill you in with more details.
I would also appreciate this - e.g. I would really like to have some concentrated diverse testing of the Coq platform and would also like to work on some sort of Rosetta stone project for the tactic languages (Ltac, Ltac2, Mtac, Mtac2, Elpi, maybe MetaCoq, possibly some fancy combinations of Mtac2 and the Equations plugin - did I forget anything?).
For the effectiveness it doesn't make that much of a difference if it is online or face to face, but I think we should have some sort of status panel for the participants or some sort of list of ongoing discussion sessions.
Last updated: Oct 16 2021 at 03:02 UTC