Difference between revisions of "Event:TACAS 1998"

From ConfIDent
(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
|has Keynote speaker=Randal Bryant
 
 
|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

Loading map...

The 4. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1998

Cookies help us deliver our services. By using our services, you agree to our use of cookies.