Revision history of "TACAS 2021"

Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

Facts about "TACAS 2021"
AcronymTACAS 2021 +
End dateApril 1, 2021 +
Event in seriesTACAS +
Event typeConference +
Has coordinates49° 36' 41", 6° 7' 47"Latitude: 49.611277777778
Longitude: 6.1298
+
Has general chairPeter Y. A. Ryan +
Has location cityLuxembourg +
Has location countryCategory:Luxembourg +
Has workshop chairJoaquin Garcia-Alfaro +
Homepagehttps://etaps.org/2021/tacas +
IsAEvent +
Start dateMarch 27, 2021 +
Title27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems +