CAV 2001

From Openresearch
Revision as of 14:51, 9 February 2021 by Saskia.Ernert (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
CAV 2001
Computer Aided Verification
Ordinal 13
Event in series CAV
Dates 2001/07/18 (iCal) - 2001/07/22
Homepage: http://www.lsv.ens-cachan.fr/Events/cav01/
Location
Location: Paris, France
Loading map...

Papers: Submitted 106 / Accepted 33 (31.1 %)
Table of Contents


Facts about "CAV 2001"
Acceptance rate31.1 +
Accepted papers33 +
AcronymCAV 2001 +
End dateJuly 22, 2001 +
Event in seriesCAV +
Event typeConference +
Has coordinates48° 51' 24", 2° 21' 5"Latitude: 48.856697222222
Longitude: 2.3514611111111
+
Has location cityParis +
Has location countryCategory:France +
Homepagehttp://www.lsv.ens-cachan.fr/Events/cav01/ +
IsAEvent +
Ordinal13 +
Start dateJuly 18, 2001 +
Submitted papers106 +
TitleComputer Aided Verification +