m (Text replacement - "|User:Curator 65" to "|Tib") |
(mobo import Concept___Events-migrated) |
||
Line 10: | Line 10: | ||
|wikidataid=Q106245028 | |wikidataid=Q106245028 | ||
|City=Enschede | |City=Enschede | ||
− | |Country= | + | |Country=Country:NL |
− | |||
|has program chair=Ed Brinksma | |has program chair=Ed Brinksma | ||
|has Keynote speaker=Gérard Berry, Kurt Jensen, Zohar Manna | |has Keynote speaker=Gérard Berry, Kurt Jensen, Zohar Manna | ||
Line 25: | Line 24: | ||
|Start Date=1997/04/02 | |Start Date=1997/04/02 | ||
|End Date=1997/04/04 | |End Date=1997/04/04 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=presence | ||
}} | }} | ||
The 3. International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1997 | The 3. International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1997 |
Revision as of 14:57, 6 September 2022
The 3. International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1997