Revision history of "CADE 2020"
Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.
Facts about "CADE 2020"
| Acronym | CADE 2020 + |
| End date | July 2, 2020 + |
| Event in series | CADE + |
| Event type | Conference + |
| Has coordinates | 48° 51' 25", 2° 20' 31"Latitude: 48.857041666667 Longitude: 2.3419083333333 + |
| 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 + |
