CADE 2020

From Openresearch
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 dateJuly 2, 2020 +
Event in seriesCADE +
Event typeConference +
Has coordinates48° 52' 44", 2° 21' 24"Latitude: 48.878858333333
Longitude: 2.3566805555556
+
Has location cityParis +
Has location countryCategory:Online +
Homepagehttp://www.cadeinc.org/ +
IsAEvent +
Start dateJune 29, 2020 +
TitleInternational Conference on Automated Deduction +