m (Text replacement - "|User:Curator 65" to "|Tib") |
(mobo import Concept___Events-migrated) |
||
Line 10: | Line 10: | ||
|wikidataid=Q106426603 | |wikidataid=Q106426603 | ||
|City=Aarhus | |City=Aarhus | ||
− | |Country= | + | |Country=Country:DK |
− | |||
|has program chair=Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen | |has program chair=Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen | ||
|Submitted papers=32 | |Submitted papers=32 | ||
Line 24: | Line 23: | ||
|Start Date=1995/05/19 | |Start Date=1995/05/19 | ||
|End Date=1995/05/20 | |End Date=1995/05/20 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=presence | ||
}} | }} | ||
The 1. International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1995 | The 1. International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1995 |
Revision as of 14:57, 6 September 2022
The 1. International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1995