CPP 2021 Lightning Talks

Sign in


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 conference information, see https://popl21.sigplan.org/home/CPP-2021#Call-for-Participation-and-Lightning-Talks.

Submissions

The deadline for registering submissions has passed.