CADE 2020

From Openresearch
Revision as of 21:27, 25 February 2020 by Soeren (talk | contribs) (CSV import)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
CADE 2020
International Conference on Automated Deduction
Event in series CADE
Dates 29.06.2020 (iCal) - 02.07.2020
Homepage: http://www.cadeinc.org/
Location
Location: Paris, France
Loading map...

Table of Contents


Facts about "CADE 2020"
AcronymCADE 2020 +
End dateJuly 2, 2020 +
Event in seriesCADE +
Event typeConference +
Has coordinates48° 51' 25", 2° 20' 31"Latitude: 48.857041666667
Longitude: 2.3419083333333
+
Has location cityParis +
Has location countryCategory:Online +
Homepagehttp://www.cadeinc.org/ +
IsAEvent +
Start dateJune 29, 2020 +
TitleInternational Conference on Automated Deduction +