# Coq Working Group June 2022

**URL:** <https://discourse.rocq-prover.org/t/coq-working-group-june-2022/1645>\
**Category:** Developing the Rocq Prover\
**Created:** [April 26, 2022, 7:12am UTC](https://discourse.rocq-prover.org/t/coq-working-group-june-2022/1645 "2022-04-26T07:12:47Z")\
**Posts on this page:** 5\
**Page:** 1

<div class="post-metadata">

**Author:** ![maximedenes](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/maximedenes/32/708_2.png) [@maximedenes](https://discourse.rocq-prover.org/u/maximedenes)\
**Post date:** [April 26, 2022, 7:12am UTC](https://discourse.rocq-prover.org/t/coq-working-group-june-2022/1645/1 "2022-04-26T07:12:48Z")

</div>

Hello there,

We had agreed some time ago (during a Coq Call) to hold a two-day Coq Working Group in June, at Inria Sophia-Antipolis. Here’s the evento to pick the date: [Répondre au sondage - Coq Working Group June 2022 - Evento](https://evento.renater.fr/survey/coq-working-group-june-2022-rw66vmhw)

---

<div class="post-metadata">

**Author:** ![jfehrle](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/jfehrle/32/112_2.png) [@jfehrle](https://discourse.rocq-prover.org/u/jfehrle)\
**Post date:** [April 27, 2022, 5:29am UTC](https://discourse.rocq-prover.org/t/coq-working-group-june-2022/1645/2 "2022-04-27T05:29:19Z")

</div>

What’s planned for the agenda?

---

<div class="post-metadata">

**Author:** ![maximedenes](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/maximedenes/32/708_2.png) [@maximedenes](https://discourse.rocq-prover.org/u/maximedenes)\
**Post date:** [April 27, 2022, 7:55am UTC](https://discourse.rocq-prover.org/t/coq-working-group-june-2022/1645/3 "2022-04-27T07:55:30Z")

</div>

Nothing planned yet, but please post suggestions for topics here or on Zulip. I’ll prepare the agenda based on what is collected.

---

<div class="post-metadata">

**Author:** ![maximedenes](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/maximedenes/32/708_2.png) [@maximedenes](https://discourse.rocq-prover.org/u/maximedenes)\
**Post date:** [May 11, 2022, 12:23pm UTC](https://discourse.rocq-prover.org/t/coq-working-group-june-2022/1645/4 "2022-05-11T12:23:07Z")

</div>

The Working Group will take place on June 15-16 in Sophia-Antipolis. I will post more details shortly.

---

<div class="post-metadata">

**Author:** ![maximedenes](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/maximedenes/32/708_2.png) [@maximedenes](https://discourse.rocq-prover.org/u/maximedenes)\
**Post date:** [May 11, 2022, 12:32pm UTC](https://discourse.rocq-prover.org/t/coq-working-group-june-2022/1645/5 "2022-05-11T12:32:51Z")

</div>

Please post the topics you’d like to discuss here: [Next Coq Working Group · coq/coq Wiki · GitHub](https://github.com/coq/coq/wiki/Next-Coq-Working-Group)