RocqPL
Sat 16 Jan 2027 Mexico City, MexicoRocqPL 2027 with POPL 2027The 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 ... |
Sun 11 - Sat 17 January 2026 Rennes, FranceRocqPL 2026 with POPL 2026The goal of this workshop is to provide an opportunity for programming languages researchers and practitioners with an interest in the Rocq Prover 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 wo ... |