(mobo import Concept___Fix_Presence-migrated) |
(mobo import Concept___Events-migrated) |
||
Line 13: | Line 13: | ||
|Country=Country:PT | |Country=Country:PT | ||
|has program chair=Bernhard Steffen | |has program chair=Bernhard Steffen | ||
− | |||
|Submitted papers=78 | |Submitted papers=78 | ||
|Accepted papers=28 | |Accepted papers=28 | ||
Line 28: | Line 27: | ||
|Event Mode=on site | |Event Mode=on site | ||
}} | }} | ||
+ | {{Event Deadline}} | ||
+ | {{S Event}} | ||
The 4. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1998 | The 4. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1998 |
Revision as of 21:07, 22 September 2022
Deadlines
Venue
University of Lisbon, Department of Informatics, Lisbon, Lisbon Metropolitan Region, Portugal
The 4. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1998