Welcome to the The Fifth International Workshop on Coq for Programming Languages (CoqPL'19) submissions site. For general conference information, see https://popl19.sigplan.org/track/CoqPL-2019-papers.
Submissions
The deadline for registering submissions has passed.