m (Text replacement - "|User:Curator 65" to "|Tib") |
(mobo import Concept___Events-migrated) |
||
Line 11: | Line 11: | ||
|wikidataid=Q106426959 | |wikidataid=Q106426959 | ||
|City=Genova | |City=Genova | ||
− | |Country= | + | |Country=Country:IT |
− | |||
|has program chair=Tiziana Margaria, Wang Yi | |has program chair=Tiziana Margaria, Wang Yi | ||
|has Keynote speaker=Michael Fourman | |has Keynote speaker=Michael Fourman | ||
Line 27: | Line 26: | ||
|Start Date=2001/04/02 | |Start Date=2001/04/02 | ||
|End Date=2001/04/06 | |End Date=2001/04/06 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=presence | ||
}} | }} | ||
The 7. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2001 | The 7. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2001 |
Revision as of 14:57, 6 September 2022
The 7. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2001