Welcome to the Lightning Talks for the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2021 Lightning Talks) submissions site. For general information, see https://popl21.sigplan.org/home/CPP-2021#Call-for-Participation-and-Lightning-Talks.
Submissions
The deadline for registering submissions has passed.