CADE Inc.
E46381
CADE Inc. is the organizing body behind the Conference on Automated Deduction, responsible for promoting research in automated reasoning and related fields.
Statements (25)
| Predicate | Object |
|---|---|
| instanceOf |
conference organizing body
→
non-profit organization → |
| abbreviation | CADE → |
| activity |
organization of scientific conferences
→
promotion of research in automated reasoning → support of an international research community → |
| communityServed |
researchers in automated deduction
→
researchers in automated reasoning → researchers in theorem proving → |
| field |
automated deduction
→
automated reasoning → logic in computer science → theorem proving → |
| focus |
formal methods in computer science
→
logical foundations of artificial intelligence → |
| fullName | CADE Inc. → |
| organizes | Conference on Automated Deduction → |
| purpose |
to promote research in automated deduction
→
to promote research in automated reasoning → to support the automated deduction community → |
| relatedConferenceSeries |
CADE
→
IJCAR → |
| role | organizing body of the Conference on Automated Deduction → |
| supports |
dissemination of research results in automated reasoning
→
international collaboration in automated deduction → |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.