Difference between revisions of "CAV 2005"
(CSV import) |
|||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
− | |||
|Acronym=CAV 2005 | |Acronym=CAV 2005 | ||
+ | |Title=Computer Aided Verification | ||
+ | |Ordinal=17 | ||
|Series=CAV | |Series=CAV | ||
+ | |Type=Conference | ||
+ | |Field=Computer-Aided Verification | ||
+ | |Start date=2005 | ||
+ | |Homepage=http://www.cav2005.inf.ed.ac.uk/ | ||
|City=Edinburgh | |City=Edinburgh | ||
|Country=Scotland | |Country=Scotland | ||
− | |||
− | |||
− | |||
}} | }} |
Revision as of 15:06, 9 February 2021
CAV 2005 | |
---|---|
Computer Aided Verification
| |
Ordinal | 17 |
Event in series | CAV |
Dates | 2005 - |
Homepage: | http://www.cav2005.inf.ed.ac.uk/ |
Location | |
Location: | Edinburgh, Scotland |
Loading map... | |
Table of Contents | |
Facts about "CAV 2005"
Acceptance rate | 26.0 + |
Accepted papers | 32 + |
Acronym | CAV 2005 + |
End date | July 10, 2005 + |
Event in series | CAV + |
Event type | Conference + |
Has coordinates | 55° 57' 12", -3° 11' 18"Latitude: 55.953344444444 Longitude: -3.188375 + |
Has location city | Edinburgh + |
Has location country | Category:UK + |
Has location state | Scotland + |
Homepage | http://www.cav2005.inf.ed.ac.uk/ + |
IsA | Event + |
Ordinal | 17 + |
Start date | July 6, 2005 + |
Submitted papers | 123 + |
Title | Computer Aided Verification + |