View source for CADE 2020

Jump to: navigation, search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.


You can view and copy the source of this page.

Return to CADE 2020.

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 +