CAV 2001
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 | |
The following coordinate was not recognized: Geocoding failed.
The following coordinate was not recognized: Geocoding failed.
Facts about "CAV 2001"
Acceptance rate | 31.1 + |
Accepted papers | 33 + |
Acronym | CAV 2001 + |
End date | July 22, 2001 + |
Event in series | CAV + |
Event type | Conference + |
Has coordinates | 48° 51' 32", 2° 19' 12"Latitude: 48.858888888889 Longitude: 2.3200416666667 + |
Has location city | Paris + |
Has location country | Category:France + |
Homepage | http://www.lsv.ens-cachan.fr/Events/cav01/ + |
IsA | Event + |
Ordinal | 13 + |
Start date | July 18, 2001 + |
Submitted papers | 106 + |
Title | Computer Aided Verification + |