CADE 2020

From Openresearch
Revision as of 08:50, 20 November 2020 by Saskia.Ernert (talk | contribs)
(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 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"
AcronymCADE 2020 +
End dateFebruary 7, 2020 +
Event in seriesCADE +
Has coordinates48° 51' 32", 2° 19' 12"Latitude: 48.858888888889
Longitude: 2.3200416666667
+
Has location cityParis +
Has location countryCategory:France +
Homepagehttp://www.cadeinc.org/ +
IsAEvent +
Start dateJune 29, 2020 +
TitleInternational Conference on Automated Deduction +