RocqPL

’27

Rocq for Programming Languages

WorkshopMexico City, MexicoJanuary 16, 2027

Proof Assistants

Dates & Deadlines

AbstractOct 232w
NotificationNov 201mo

Notes

Formerly CoqPL
Extended abstracts of 1-2 pages for talks and demonstrations; no published papers

Part of

POPLACM SIGPLAN Symposium on Principles of Programming LanguagesJan 10 – 16, 2027

Last updated Oct 8, 2026