SAT 2020

From Openresearch
Revision as of 15:56, 27 February 2020 by Soeren (talk | contribs) (CSV import conf 2020)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
SAT 2020
International Conference on Theory and Applications of Satisfiability Testing
Event in series SAT
Dates 7/5/2020 (iCal) - 7/9/2020
Homepage: https://sat2020.idea-researchlab.org/
Location
Location: Alghero, Italy
Loading map...

Table of Contents


Facts about "SAT 2020"
AcronymSAT 2020 +
End dateJuly 9, 2020 +
Event in seriesSAT +
Has coordinates40° 33' 36", 8° 18' 55"Latitude: 40.560019444444
Longitude: 8.3151472222222
+
Has location cityAlghero +
Has location countryCategory:Italy +
Homepagehttps://sat2020.idea-researchlab.org/ +
IsAEvent +
Start dateJuly 5, 2020 +
TitleInternational Conference on Theory and Applications of Satisfiability Testing +