Difference between revisions of "TACAS 1999"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
 
(modified through wikirestore by orapi)
Line 1: Line 1:
 
{{Event
 
{{Event
|Acronym=TACAS 1999
 
|Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems
 
|Ordinal=5
 
|Series=TACAS
 
|Type=Conference
 
 
|Superevent=ETAPS 1999
 
|Superevent=ETAPS 1999
|Start date=1999/03/22
 
|End date=1999/03/28
 
|Homepage=https://www.csc.ncsu.edu/tacas99/
 
 
|gndId=2175509-7
 
|gndId=2175509-7
|DblpConferenceId=tacas/tacas99
 
 
|wikidataid=Q106426960
 
|wikidataid=Q106426960
|City=Amsterdam
 
|Country=Netherlands
 
|presence=presence
 
 
|has program chair=W. Rance Cleaveland II
 
|has program chair=W. Rance Cleaveland II
 
|has Keynote speaker=Jeff Kramer, Jeff Magee
 
|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 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 DOI=https://doi.org/10.1007/3-540-49059-0
 
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F3-540-49059-0
 
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F3-540-49059-0
|State=NL/NH}}
+
|Acronym =TACAS 1999
 +
|End date=1999/03/28
 +
|Series  =TACAS
 +
|presence=presence
 +
|Type    =Conference
 +
|Country =NL
 +
|State   =NL/NH
 +
|City    =NL/NH/Amsterdam
 +
|Homepage=https://www.csc.ncsu.edu/tacas99/
 +
|Ordinal =5
 +
|Start date=1999/03/22
 +
|Title  =International Conference on Tools and Algorithms for the Construction and Analysis of Systems
 +
|Accepted papers=28
 +
|Submitted papers=82
 +
|DblpConferenceId=tacas/tacas99}}
 
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

Revision as of 21:02, 3 November 2021


Event Rating

median worst
Pain1.svg Pain7.svg

List of all ratings can be found at TACAS 1999/rating

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: NL/NH/Amsterdam, NL/NH, NL
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