Create cade.yml (#721)

ccfddl · Dec 29, 2024 · ae05ae7 · ae05ae7
1 parent ec8b91c
commit ae05ae7
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/conference/CT/cade.yml b/conference/CT/cade.yml
@@ -0,0 +1,17 @@
+- title: CADE
+  description: The Conference on Automated Deduction (CADE)
+  sub: CT
+  rank:
+    ccf: B
+    core: A
+  dblp: cade
+  confs:
+    - year: 2025
+      id: cade25
+      link: https://www.dhbw-stuttgart.de/cade-30/
+      timeline:
+        - abstract_deadline: '2025-02-17 23:59:59'
+          deadline: '2025-02-24 23:59:59'
+      timezone: AoE
+      date: July 28-31, 2025
+      place: DHBW Stuttgart, Stuttgart, Germany