View source for TACAS 2021

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 TACAS 2021.

Facts about "TACAS 2021"
AcronymTACAS 2021 +
End dateApril 1, 2021 +
Event in seriesTACAS +
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 +