TACAS 2001

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search


Event Rating

median worst
Pain1.svg Pain7.svg

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

TACAS 2001
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Ordinal 7
Event in series TACAS
Subevent of ETAPS 2001
Dates 2001-04-02 (iCal) - 2001-04-06
Presence presence
Homepage: https://www.disi.unige.it/etaps2001/
Location
Location: IT/42/Genoa, IT/42, IT
Loading map...

Papers: Submitted 125 / Accepted 36 (28.8 %)
Committees
PC chairs: Tiziana Margaria, Wang Yi
Keynote speaker: Michael Fourman
Table of Contents

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


Topics

Submissions

Important Dates