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

Submissions

The deadline for registering submissions has passed.