add url to the hotcrp site

docs/details/application.md

@@ -13,7 +13,7 @@ We provide further information on the key stages, requirements and registration
 We provide below the key stages participants will get involved:
 
 * **Expression of interest:** Participants should fill out a registration form for the challenge and indicate some details of the artifacts they will submit for evaluation.
-* **Submission deadline:** Authors should submit their artifacts via the HotCRP platform.
+* **Submission deadline:** Authors should submit their artifacts via [the HotCRP platform](https://ci2024-artifacts.hotcrp.com/).
 * **Artifact evaluation (5 weeks):** Authors will collaborate with the AE committee to evaluate and improve the quality of their artifacts.
 
 ### Application form

docs/details/timeline-process.md

@@ -13,7 +13,7 @@ These are the key dates (all dates are in the [Anywhere on Earth (AOE / UTC-12)
 * Final decisions sent to authors: Fri 25 October
 
 # Process
-The evaluation process uses an optional, lightweight single-blind system. Authors and Reviewers will be added to the HotCRP system of the CI2024 Artifact Evaluation, and the authors will submit their artifacts to the system.
+The evaluation process uses an optional, lightweight single-blind system. Authors and Reviewers will be added to [the HotCRP system of the CI2024 Artifact Evaluation](https://ci2024-artifacts.hotcrp.com/), and the authors will submit their artifacts to the system.
 
 ## Authors
 Authors may iteratively improve their artifacts during the process to overcome small technical problems, but may not submit new material that would require substantially more reviewing effort.
@@ -23,7 +23,7 @@ The detailed submission process is as follows:
 1. Register your [interest](details-application) to submit an artifact.
 1. Read the [Submission Guidelines](guidelines-authors) page for details on artifact preparation.
 1. Upload your artifact to Zenodo (recommended), or otherwise make it available via a stable URL (i.e. the URL should not change if you later make updates to the artifact; and ideally, the URL has a good chance of continuing to exist well into the future).
-1. Finalize your submission on HotCRP with a link to your artifact.
+1. Finalize your submission on [HotCRP](https://ci2024-artifacts.hotcrp.com/) with a link to your artifact.
 
 ## Reviewers
 A committee of reviewers, the Artifact Evaluation Committee (AEC), will review the submitted artifacts against three [criteria](overview-evaluation): is the software available? Is it functional, and can it be used to reproduce the (central) claims or thesis of the paper? The reviewers will interact with the authors to suggest how to improve the reproducibility if any issues are discovered.