m (Text replacement - "|User:Curator 65" to "|Tib") |
(mobo import Concept___Events-migrated) |
||
Line 10: | Line 10: | ||
|wikidataid=Q106068254 | |wikidataid=Q106068254 | ||
|City=Passau | |City=Passau | ||
− | |Country= | + | |Country=Country:DE |
− | |||
|has program chair=Tiziana Margaria, Bernhard Steffen | |has program chair=Tiziana Margaria, Bernhard Steffen | ||
|has Keynote speaker=Leslie Lamport, Dexter Kozen, Gerard Holzmann | |has Keynote speaker=Leslie Lamport, Dexter Kozen, Gerard Holzmann | ||
Line 25: | Line 24: | ||
|Start Date=1996/03/27 | |Start Date=1996/03/27 | ||
|End Date=1996/03/29 | |End Date=1996/03/29 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=presence | ||
}} | }} | ||
The 2. International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1996 | The 2. International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1996 |
Revision as of 14:57, 6 September 2022
The 2. International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1996