CADE 2020
Revision as of 08:50, 20 November 2020 by Saskia.Ernert (talk | contribs)
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 |
Loading map... | |
Table of Contents | |
Part of IJCAR 2020.
Facts about "CADE 2020"
Acronym | CADE 2020 + |
End date | July 2, 2020 + |
Event in series | CADE + |
Event type | Conference + |
Has coordinates | 48° 52' 44", 2° 21' 24"Latitude: 48.878858333333 Longitude: 2.3566805555556 + |
Has location city | Paris + |
Has location country | Category:Online + |
Homepage | http://www.cadeinc.org/ + |
IsA | Event + |
Start date | June 29, 2020 + |
Title | International Conference on Automated Deduction + |