Difference between revisions of "TACAS 1996"
Jump to navigation
Jump to search
Line 15: | Line 15: | ||
|presence=presence | |presence=presence | ||
|has program chair=Tiziana Margaria, Bernhard Steffen | |has program chair=Tiziana Margaria, Bernhard Steffen | ||
+ | |has Keynote speaker=Leslie Lamport, Dexter Kozen, Gerard Holzmann | ||
|Submitted papers=47 | |Submitted papers=47 | ||
|Accepted papers=19 | |Accepted papers=19 |
Revision as of 10:38, 7 October 2021
TACAS 1996 | |
---|---|
International Workshop on Tools and Algorithms for the Construction and Analysis of Systems
| |
Ordinal | 2 |
Event in series | TACAS |
Subevent of | ETAPS |
Dates | 1996/03/27 (iCal) - 1996/03/29 |
Presence | presence |
Location | |
Location: | Passau, Germany |
Papers: | Submitted 47 / Accepted 19 (40.4 %) |
Committees | |
PC chairs: | Tiziana Margaria, Bernhard Steffen |
Keynote speaker: | Leslie Lamport, Dexter Kozen, Gerard Holzmann |
Table of Contents | |
The 2. International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1996