Welcome to the The Sixth International Workshop on Coq for Programming Languages (CoqPL'20) submissions site. For general information, see https://popl20.sigplan.org/home/CoqPL-2020.
Submissions
The deadline for registering submissions has passed.
Welcome to the The Sixth International Workshop on Coq for Programming Languages (CoqPL'20) submissions site. For general information, see https://popl20.sigplan.org/home/CoqPL-2020.
The deadline for registering submissions has passed.