… and theoretical topics in all areas that consider formal verification …) is an international conference on practical and theoretical topics in all … will welcome contributions from all members of the community. The CPP 2026 …

… that there’s a whole community out there of like-minded folks who are all very excited … that folks all over the world also care about these problems, and that it’s not just … conference itself. The workshop registration is open to all (with or without scholarships …

… an artifact evaluation process since 2015, and invites artifact submissions from all … authors of all accepted papers. Artifacts can be software, mechanical proofs, test …. Typically, almost all artifacts are accepted for at least one badge. Artifacts …

… PLMW@ POPL 2026 Welcome to the website of the PLMW@ POPL 2026 conference. We are working hard to fill the website with all related information. Please check back soon! …

… CPP 2026 Welcome to the website of the CPP 2026 conference. We are working hard to fill the website with all related information. Please check back soon! …