add ITP 2024 to events

leanprover-community · Dec 28, 2023 · e59c6a7 · e59c6a7
1 parent 4333bf5
commit e59c6a7
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: Interactive Theorem Proving 2024
+  url: https://www.viam.science.tsu.ge/itp2024/
+  start_date: September 9 2024
+  end_date: September 14 2024
+  location: Tblisi, Georgia
+  type: conference
+
 - title: "Interactions Between Proof Assistants and Mathematical Software, ICMS 2024"
   location: Durham, UK
   type: conference