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 brainstorm shared interfaces and APIs? Do you have a bug to fix or a feature to advocate for?
Join us June 29th - July 3rd on the shores of Lake Geneva at EPFL, Switzerland, for a week of hacking on the implementation of your favorite proof assistant and its ecosystem!
More info and registration at https://proofs.swiss/rocq-n-share/2026 . This event is sponsored by the Swiss Informatics Society.