TABLEAUX 2020

From Openresearch
Revision as of 16:11, 27 February 2020 by Soeren (talk | contribs) (CSV import conf 2020)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
TABLEAUX 2020
International Conference on Theorem Proving with Analytic Tableaux and Related Methods
Event in series TABLEAUX
Dates 6/29/2020 (iCal) - 7/5/2020
Homepage: http://www.tableaux-ar.org/next.html
Location
Location: Paris, France
Loading map...

Table of Contents


Facts about "TABLEAUX 2020"
AcronymTABLEAUX 2020 +
End dateJuly 5, 2020 +
Event in seriesTABLEAUX +
Has coordinates48° 51' 24", 2° 21' 5"Latitude: 48.856697222222
Longitude: 2.3514611111111
+
Has location cityParis +
Has location countryCategory:France +
Homepagehttp://www.tableaux-ar.org/next.html +
IsAEvent +
Start dateJune 29, 2020 +
TitleInternational Conference on Theorem Proving with Analytic Tableaux and Related Methods +