Conference · Workshop on Rocq for Programming Languages
RocqPL 2027
Official page- Type
- Conference
- Organisation
- Workshop on Rocq for Programming Languages
- Location
- Mexico City, Mexico
- Submissions close
- 24 October 2026
- Takes place
- 16 January 2027
- Found
- 26 September 2026
About this listing
Workshop on Rocq for Programming Languages. Submissions close 2026-10-24. Held in Mexico City, Mexico. Formerly CoqPL. Formalisations of programming languages research in the Rocq proof assistant, domain-specific libraries, verification tools, and experience reports. Held with POPL 2027. Topics: theorem proving, programming languages, verification, semantics. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).