CoqPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
co-located with POPL 2025

We're happy to see you want to sign up as user of the conf.researchr.org system!

With a conf.researchr.org account you can update your profile and information of items/events for which you are (co-)author or presenter.
If you are involved in the organization of a conference you may also get assigned rights to edit other elements of the conference website, such as the call for papers.

Note that a conf.researchr.org account is not needed for the submission of contributions. To register for attendance of a conference, an account is only needed when you're asked to register/check-in with a conf.researchr.org account

Step 1: Enter your email address or name

We will first try to match an existing profile already entered on this website using your email address or name.