CAV 2002

From Openresearch
Revision as of 16:49, 30 September 2016 by Said (talk | contribs) (CSV import)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
CAV 2002
Event in series CAV
Dates 2002 -
Homepage: http://floc02.diku.dk/CAV/
Location
Location: Copenhagen, Denmark
Loading map...

Table of Contents


Facts about "CAV 2002"
Acceptance rate37.2 +
Accepted papers35 +
AcronymCAV 2002 +
End dateJuly 31, 2002 +
Event in seriesCAV +
Event typeConference +
Has coordinates55° 41' 12", 12° 34' 12"Latitude: 55.686725
Longitude: 12.570072222222
+
Has location cityCopenhagen +
Has location countryCategory:Denmark +
Homepagehttp://floc02.diku.dk/CAV/ +
IsAEvent +
Ordinal14 +
Start dateJuly 27, 2002 +
Submitted papers94 +
TitleComputer Aided Verification +