CoqPL'19

Sign in


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.

Conference information

Submissions

The deadline for registering submissions has passed.