- Submission deadline
- October 23, 2026
- Event date
- January 16, 2027
- Format
- In person
- Location
- Mexico City, Mexico
- Compensation
- Not listed
About this call
A workshop co-located with POPL seeking talks and demonstrations about the Rocq Prover and its use in programming languages research. Talks are selected based on extended abstracts.
Topics
Formalizations of programming languages research in RocqLibraries and tactic language extensionsProgramming language formalization and verificationIDEs, profilers, tracers, debuggers, and testing toolsOngoing proof efforts using RocqEducational and industrial use of Rocq
Audience
Programming languages researchers and practitioners interested in the Rocq Prover
Session formats
TalkDemonstration