RocqPL

RocqPL 2026 with POPL 2026

The goal of this workshop is to provide an opportunity for programming languages researchers and practitioners with an interest in Rocq to meet and interact with one another and with members of the core Rocq development team. At the meeting, we will discuss upcoming new features, see talks and demonstrations of active projects, solicit feedback for potential future work on Rocq itself, and generally work to stren ...