Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs

doi:10.1145/3779031

Home Library VIRAT

Science Catalogs – Services

Promote your research tools, reference managers, or discovery services here.

Conference Spotlight

Feature upcoming conferences, special issues, or partner cards.

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs

2026

View at publisher

DOI: 10.1145/3779031

Cited by: 0

Publication details

Publication date: 8 January 2026

Reference Details

Open full details

Ask VIRAT

AI research assistant

Get summaries, key findings and a literature review on Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and....

Open VIRAT Sign in with your Science Catalogs account.

Partner Highlights

Use this space for banners, featured events, or institutional partners.

Cite this article

Share this article

Share via:

You can also copy the URL from your browser’s address bar.

Global Research Library

Your trusted platform for discovering, organizing, and accessing research articles from around the world.

Quick Links

Home
Search Library
My Library
About Us

Resources

Help Center
Contact Us
Insights
VIRAT

Legal

Privacy Policy
Terms of Service
Cookie Policy

Science Catalogs

SciNexID
Scholars Post
Journals
Conferences

Privacy Terms Cookies

Use your Science Catalogs account. The same e-mail and password work on Science Catalogs, Scholars Post, SciNexID and JournalOS.

Password

Forgot password?

Enter the e-mail of your account. We will send you a link to set a new password.

Back to login

First Name

Last Name

Designation

Country

Organisation

Password

Confirm Password

I agree to the terms of use and privacy policy

Account created

You are now logged in. We have sent you an e-mail: please open the link in it to confirm your address.

Check your email

Verification link sent