Record Beta
CADE 2020
https://id.confref.org/data/confident/6708
This record is part of the confref event International Conference on Automated Deduction.
| rdf:type | cf:Category_Event |
|---|---|
| rdfs:label | CADE 2020 |
| cf:Academic_Field | https://id.confref.org/data/confident/25698 |
| cf:Acronym | CADE 2020 |
| cf:Country_Missing | true |
| cf:Creation_date | 2022-04-06T21:13:38 |
| cf:DOI | 10.25798/mshd-e825 |
| cf:Display_Title | CADE 2020 |
| cf:End_Date | 2020-07-02 |
| cf:Event_Mode | online |
| cf:Event_Status | as scheduled |
| cf:Has_Metric | false |
| cf:Has_subobject | https://id.confref.org/data/confident/6708/7ece4d671bfe7042b4e6e80772abe6ca |
| cf:In_Event_Series | https://id.confref.org/data/confident/1182 |
| cf:Modification_date | 2026-09-29T14:25:37 |
| cf:Month | 6 |
| cf:Official_Website | http://www.cadeinc.org/ |
| cf:Organizer_Missing | false |
| cf:Single_Day_Event | no |
| cf:Start_Date | 2020-06-29 |
| cf:Start_Date_Missing | false |
| cf:Title | International Conference on Automated Deduction |
| cf:Year | 2020 |
| cf:page | https://www.confident-conference.org/index.php/Event:CADE_2020 |
| cf:pageTitle | Event:CADE 2020 |
| cr:discipline | computer science (wd:Q21198) |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.