Conference on Automated Deduction
E46149
The Conference on Automated Deduction (CADE) is a leading international research conference focused on the theory and applications of automated reasoning and formal deduction in computer science and mathematics.
Aliases (1)
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
academic conference
→
computer science conference → international conference → |
| abbreviation |
CADE
→
|
| audience |
logicians
→
researchers in automated reasoning → researchers in formal methods → theoretical computer scientists → |
| discipline |
computer science
→
mathematics → |
| field |
automated deduction
→
automated reasoning → formal methods → mathematical logic → theoretical computer science → |
| focusesOn |
applications of automated reasoning
→
applications of deduction in hardware verification → applications of deduction in mathematics → applications of deduction in software verification → constraint solving → decision procedures → first-order theorem proving → formal deduction → formal verification → higher-order theorem proving → interactive theorem proving → knowledge representation and reasoning → logic in computer science → model checking with deduction → proof assistants → proof search → rewriting → satisfiability modulo theories → theorem proving → theory of automated reasoning → unification → |
| frequency |
regularly recurring
→
|
| hasAcronym |
CADE
→
|
| hasProceedings |
CADE conference proceedings
→
|
| organizedBy |
International Conference on Automated Deduction Association
→
|
| publishes |
peer-reviewed research papers
→
|
| reviewProcess |
peer review
→
|
| scope |
international
→
|
| shortName |
CADE
→
|
| status |
leading conference in automated reasoning
→
|
| topic |
automated theorem proving
→
formal reasoning → logic and deduction → |
Referenced by (3)
| Subject (surface form when different) | Predicate |
|---|---|
|
Conference on Automated Deduction
("International Conference on Automated Deduction Association")
→
|
organizedBy |
|
CADE Inc.
→
|
organizes |
|
Herbrand Award
→
|
presentedBy |