Difference between revisions of "TACAS 1999"

From Openresearch
Jump to navigation Jump to search
(Created page with "{{Event |Acronym=TACAS 1999 |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems |Ordinal=5 |Series=TACAS |Type=Conference |Sup...")
 
(Added page provenance(#264) and contribution type(#271))
 
(4 intermediate revisions by one other user not shown)
Line 5: Line 5:
 
|Series=TACAS
 
|Series=TACAS
 
|Type=Conference
 
|Type=Conference
|Superevent=ETAPS
+
|Superevent=ETAPS 1999
 
|Start date=1999/03/22
 
|Start date=1999/03/22
 
|End date=1999/03/28
 
|End date=1999/03/28
 +
|Homepage=https://www.csc.ncsu.edu/tacas99/
 +
|TibKatId=334055296
 
|gndId=2175509-7
 
|gndId=2175509-7
 
|DblpConferenceId=tacas/tacas99
 
|DblpConferenceId=tacas/tacas99
Line 14: Line 16:
 
|Country=Netherlands
 
|Country=Netherlands
 
|presence=presence
 
|presence=presence
 +
|has program chair=W. Rance Cleaveland II
 +
|has Keynote speaker=Jeff Kramer, Jeff Magee
 +
|Submitted papers=82
 +
|Accepted papers=28
 +
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F3-540-49059-0.pdf
 +
|has Proceedings DOI=https://doi.org/10.1007/3-540-49059-0
 +
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F3-540-49059-0
 +
|pageCreator=Tolga.karaarslan
 +
|pageEditor=Tolga.karaarslan
 +
|contributionType=1
 
}}
 
}}
 
The 5. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1999
 
The 5. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1999

Latest revision as of 20:25, 1 April 2022

TACAS 1999
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Ordinal 5
Event in series TACAS
Subevent of ETAPS 1999
Dates 1999/03/22 (iCal) - 1999/03/28
Presence presence
Homepage: https://www.csc.ncsu.edu/tacas99/
Location
Location: Amsterdam, Netherlands
Loading map...

Papers: Submitted 82 / Accepted 28 (34.1 %)
Committees
PC chairs: W. Rance Cleaveland II
Keynote speaker: Jeff Kramer, Jeff Magee
Table of Contents



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