Add ITP 2025

leanprover-community · Jan 20, 2025 · 9426d39 · 9426d39
1 parent 5a01e7c
commit 9426d39
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 2025
+  url: https://icetcs.github.io/frocos-itp-tableaux25/itp/
+  start_date: September 27 2025
+  end_date: October 3 2025
+  location: Reykjavik, Iceland
+  type: conference
+
 - title: AI for Mathematics and Theoretical Computer Science
   url: https://simons.berkeley.edu/workshops/simons-institute-theory-computing-slmath-joint-workshop-ai-mathematics-theoretical
   start_date: April 7 2025