CADE 2020: Difference between revisions
CSV import |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=CADE 2020 | |Acronym=CADE 2020 | ||
|Title=International Conference on Automated Deduction | |||
|Series=CADE | |Series=CADE | ||
| | |Type=Conference | ||
|Start date=2020/06/29 | |||
|End date=2020/07/02 | |||
|Homepage=http://www.cadeinc.org/ | |||
|City=Paris | |City=Paris | ||
|Country= | |Country=Online | ||
}} | }} | ||
Part of '''[[IJCAR 2020]]'''. | |||
Latest revision as of 07:50, 20 November 2020
| CADE 2020 | |
|---|---|
International Conference on Automated Deduction
| |
| Event in series | CADE |
| Dates | 2020/06/29 (iCal) - 2020/07/02 |
| Homepage: | http://www.cadeinc.org/ |
| Location | |
| Location: | Paris, Online |
| Table of Contents | |
Part of IJCAR 2020.