From ae05ae75a62406bc4dbe07299dcccc77e963f7d6 Mon Sep 17 00:00:00 2001 From: Wz Feng Date: Sun, 29 Dec 2024 22:37:21 +0800 Subject: [PATCH] Create cade.yml (#721) --- conference/CT/cade.yml | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 conference/CT/cade.yml diff --git a/conference/CT/cade.yml b/conference/CT/cade.yml new file mode 100644 index 00000000..56d3c2c2 --- /dev/null +++ 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