It is that time of the year again -- please consider submitting an abstract to the Rocqshop 2026! https://coq-workshop.gitlab.io/2026/ This year's Rocqshop will take place on July 25 in Lisbon, right before ITP'26. Remote presentations are welcome too! Submissions should take the form of a two-page PDF, and the deadline is on May 15, AoE.