rebuilding site Mon Jul 29 07:51:17 CEST 2024

post/fmcp/index.html

@@ -285,7 +285,7 @@ <h2 class="display-1 fw-bold text-center text-primary pb-3">Cryspen @ FMCP 2024<
 <p>There were many interesting talks and discussions, and the group came
 up with several concrete next steps towards the eventual goal of
 integrating formal methods more closely with certification.</p>
-<p>The slides for our talk are available <a href="./Formal-Specifications-for-Certifiable-Cryptography-FMCP-2024.pdf">here</a></p>
+<p>The slides for our talk are available <a href="./Formal-Specifications-for-Certifiable-Cryptography-FMCP-2024.pdf">here</a>.</p>
 <p>If you have any questions about hacspec, hax, and how they can help you to improve the quality of your own software products or
 the cryptographic libraries you depend upon, drop us an email.</p>
 <a class="btn btn-outline-primary px-4" href="mailto:[email protected]">Get in touch</a>