Welcome to the 8th International Workshop on Coq for Programming Languages (CoqPL'22) submissions site. For general information, see https://popl22.sigplan.org/home/CoqPL-2022.

Submissions

The deadline for registering submissions has passed.