Skip to content

Commit

Permalink
Update cade.yml (#727)
Browse files Browse the repository at this point in the history
Fix yaml format
There is a problem with the indentation of the block format in this yaml
  • Loading branch information
WWILLV authored Dec 30, 2024
1 parent ae05ae7 commit 2727d12
Showing 1 changed file with 17 additions and 17 deletions.
34 changes: 17 additions & 17 deletions conference/CT/cade.yml
Original file line number Diff line number Diff line change
@@ -1,17 +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
- 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

0 comments on commit 2727d12

Please sign in to comment.