Difference between revisions of "CAV 2005"

From Openresearch
Jump to: navigation, search
(CSV import)
 
 
(3 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
{{Event
 
{{Event
−
|Start date=2005
 
 
|Acronym=CAV 2005
 
|Acronym=CAV 2005
 +
|Title=Computer Aided Verification
 +
|Ordinal=17
 
|Series=CAV
 
|Series=CAV
−
|City=Edinburgh
+
|Type=Conference
−
|Country=Scotland
 
 
|Field=Computer-Aided Verification
 
|Field=Computer-Aided Verification
−
|Type=Conference
+
|Start date=2005/07/06
 +
|End date=2005/07/10
 
|Homepage=http://www.cav2005.inf.ed.ac.uk/
 
|Homepage=http://www.cav2005.inf.ed.ac.uk/
 +
|City=Edinburgh
 +
|State=Scotland
 +
|Country=UK
 +
|Submitted papers=123
 +
|Accepted papers=32
 +
|has Proceedings Link=https://www.springer.com/gp/book/9783540272311
 
}}
 
}}

Latest revision as of 15:36, 9 February 2021

CAV 2005
Computer Aided Verification
Ordinal 17
Event in series CAV
Dates 2005/07/06 (iCal) - 2005/07/10
Homepage: http://www.cav2005.inf.ed.ac.uk/
Location
Location: Edinburgh, Scotland, UK
Loading map...

Papers: Submitted 123 / Accepted 32 (26 %)
Table of Contents


Retrieved from "https://www.openresearch.org/mediawiki/index.php?title=CAV_2005&oldid=229480"
Facts about "CAV 2005"
RDF feed
Acceptance rate26.0 +
Accepted papers32 +
AcronymCAV 2005 +
End dateJuly 10, 2005 +
Event in seriesCAV +
Event typeConference +
Has coordinates55° 57' 12", -3° 11' 18"Latitude: 55.953344444444
Longitude: -3.188375 +
Has location cityEdinburgh +
Has location countryCategory:UK +
Has location stateScotland +
Homepagehttp://www.cav2005.inf.ed.ac.uk/ +
IsAEvent +
Ordinal17 +
Start dateJuly 6, 2005 +
Submitted papers123 +
TitleComputer Aided Verification +