Welcome to the The Sixth International Workshop on Coq for Programming Languages (CoqPL'20) submissions site. For general conference information, see https://popl20.sigplan.org/home/CoqPL-2020.
Sign in to submit or review papers.

Submissions

Deadline: Wednesday 23 Oct 2019 11:59pm AoE
You must sign in to start a submission.