Difference between revisions of "TACAS 2000"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
(modified through wikirestore by orapi)
Line 2: Line 2:
 
|Superevent=ETAPS 2000
 
|Superevent=ETAPS 2000
 
|gndId=2182080-6
 
|gndId=2182080-6
|wikidataid=Q106337714
 
 
|has program chair=Susanne Graf, Michael I. Schwartzbach
 
|has program chair=Susanne Graf, Michael I. Schwartzbach
 
|has Keynote speaker=Pierre Wolper, Bernhard Boigelot
 
|has Keynote speaker=Pierre Wolper, Bernhard Boigelot
Line 24: Line 23:
 
|Submitted papers=107
 
|Submitted papers=107
 
|DblpConferenceId=tacas/tacas2000
 
|DblpConferenceId=tacas/tacas2000
 +
|wikidataid=Q106337714
 
}}
 
}}
 
The 6. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2000
 
The 6. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2000

Revision as of 02:44, 7 December 2021


Event Rating

median worst
Pain1.svg Pain7.svg

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

TACAS 2000
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Ordinal 6
Event in series TACAS
Subevent of ETAPS 2000
Dates 2000-03-25 (iCal) - 2000-04-02
Presence presence
Homepage: https://www-verimag.imag.fr/EVENTS/2000/TACAS/
Location
Location: DE/BE/Berlin, DE/BE, DE
Loading map...

Papers: Submitted 107 / Accepted 33 (30.8 %)
Committees
PC chairs: Susanne Graf, Michael I. Schwartzbach
Keynote speaker: Pierre Wolper, Bernhard Boigelot
Table of Contents

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


Topics

  • verification and construction techniques;
  • compositional and refinement-based methodologies;
  • test case generation;
  • theorem-proving and model checking;
  • analytical techniques for real-time, hybrid and safety-critical systems;
  • tool environments and tool architectures;
  • applications and case studies.