View source for CAV 2001

{{Event
|Acronym=CAV 2001
|Title=Computer Aided Verification
|Ordinal=13
|Series=CAV
|Type=Conference
|Field=Computer-Aided Verification
|Start date=2001/07/18
|End date=2001/07/22
|Homepage=http://www.lsv.ens-cachan.fr/Events/cav01/
|City=Paris
|Country=France
|Submitted papers=106
|Accepted papers=33
|has Proceedings Link=https://www.springer.com/gp/book/9783540423454
}}
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' 24", 2° 21' 5"Latitude: 48.856697222222 Longitude: 2.3514611111111 +
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 +