add icms session to events.yaml (#411)

leanprover-community · Dec 18, 2023 · d7548e1 · d7548e1
1 parent 5d0c744
commit d7548e1
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/data/events.yaml b/data/events.yaml
@@ -1,3 +1,10 @@
+- title: "Interactions Between Proof Assistants and Mathematical Software, ICMS 2024"
+  location: Durham, UK
+  type: conference
+  url: https://proof-assistants-and-software-icms2024.github.io/
+  start_date: July 22 2024
+  end_date: July 25 2024
+
 - title: "Lean Together 2024"
   location: virtual
   type: workshop