From d5fa8fd735e004a0649a13f1d17b4e5dcf2df696 Mon Sep 17 00:00:00 2001 From: Fredrik Nordvall Forsberg Date: Tue, 10 Dec 2024 17:33:39 +0000 Subject: [PATCH] [ TYPES 2025 ] fix w3c validator error --- types2025/cfp.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/types2025/cfp.html b/types2025/cfp.html index 327fbe2..407084e 100755 --- a/types2025/cfp.html +++ b/types2025/cfp.html @@ -34,8 +34,8 @@

Call for Contributions

- 31st International Conference on Types for Proofs and Programs
- Glasgow, Scotland, 9–13 June 2025
+ 31st International Conference on Types for Proofs and Programs
+ Glasgow, Scotland, 9–13 June 2025
https://msp.cis.strath.ac.uk/types2025/