View source for CAV 2002

{{Event
|Acronym=CAV 2002
|Title=Computer Aided Verification
|Ordinal=14
|Series=CAV
|Type=Conference
|Field=Computer-Aided Verification
|Start date=2002/07/27
|End date=2002/07/31
|Homepage=http://floc02.diku.dk/CAV/
|City=Copenhagen
|Country=Denmark
|Submitted papers=94
|Accepted papers=35
|has Proceedings Link=https://www.springer.com/gp/book/9783540439974
}}
Acceptance rate	37.2 +
Accepted papers	35 +
Acronym	CAV 2002 +
End date	July 31, 2002 +
Event in series	CAV +
Event type	Conference +
Has coordinates	55° 41' 12", 12° 34' 12"Latitude: 55.686725 Longitude: 12.570072222222 +
Has location city	Copenhagen +
Has location country	Category:Denmark +
Homepage	http://floc02.diku.dk/CAV/ +
IsA	Event +
Ordinal	14 +
Start date	July 27, 2002 +
Submitted papers	94 +
Title	Computer Aided Verification +