# \#meeting

**URL:** https://discourse.rocq-prover.org/tag/meeting/14.md

[Latest](https://discourse.rocq-prover.org/latest.md) · [Categories](https://discourse.rocq-prover.org/categories.md) · [Tags](https://discourse.rocq-prover.org/tags.md)

---

## [Join us June 29-July 3 in Lausanne for Rocq'n'Share 2026!](https://discourse.rocq-prover.org/t/join-us-june-29-july-3-in-lausanne-for-rocqnshare-2026/2930)

<div class="topic-metadata">

**Author:** [@cpitclaudel](https://discourse.rocq-prover.org/u/cpitclaudel)\
**Replies:** 0\
**Last updated:** [February 4, 2026, 8:16am UTC](https://discourse.rocq-prover.org/t/join-us-june-29-july-3-in-lausanne-for-rocqnshare-2026/2930 "2026-02-04T08:16:44Z")

</div>

Dear all, Rocq’n’Share is cool. International Rocq’n’Share is going to be even cooler. Do you want to learn more about Rocq’s internals? Do you need help building a plug-in or hacking the kernel? Do you need to brains…

---

## [Notes from the CoqPL 2024 Q/A session](https://discourse.rocq-prover.org/t/notes-from-the-coqpl-2024-q-a-session/2183)

<div class="topic-metadata">

**Author:** [@gasche](https://discourse.rocq-prover.org/u/gasche)\
**Replies:** 9\
**Last updated:** [January 29, 2024, 9:38pm UTC](https://discourse.rocq-prover.org/t/notes-from-the-coqpl-2024-q-a-session/2183 "2024-01-29T21:38:45Z")

</div>

CoqPL 2024 (see call for presentations) had a Q/A session with Coq developers (@ejgallego, @ybertot, @rtetley, @mattam82) and the audience in the room. Below are my notes of the questions and answers. Q: on the rename,…

---

## [Coq Hackaton Winter 2022 edition](https://discourse.rocq-prover.org/t/coq-hackaton-winter-2022-edition/1527)

<div class="topic-metadata">

**Author:** [@ejgallego](https://discourse.rocq-prover.org/u/ejgallego)\
**Replies:** 6\
**Last updated:** [February 14, 2022, 11:54pm UTC](https://discourse.rocq-prover.org/t/coq-hackaton-winter-2022-edition/1527 "2022-02-14T23:54:10Z")

</div>

Dear all, We are happy to announce a virtual Coq Hackathon and Working Group on Feb 15th-17th 2022. We were hoping to make this event a hybrid one, but due to the current circumstances it will be online only. The event…