Welcome to the Eleventh Workshop on Coq for Programming Languages (CoqPL 2025) submissions site. For general information, see https://popl25.sigplan.org/home/CoqPL-2025.

Submissions

Sign in to manage submissions.

Deadline: Saturday Oct 26, 2024, 12:59:59 PM BST