Difference between revisions of "CAV 2013"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
(modified through wikirestore by orapi)
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
{{Event
 
{{Event
 +
|Field=Computer-Aided Verification
 +
|has Proceedings Link=https://www.springer.com/gp/book/9783642397981
 
|Acronym=CAV 2013
 
|Acronym=CAV 2013
|Title=Computer Aided Verification
+
|End date=2013-07-19
 +
|Series =CAV
 +
|Type  =Conference
 +
|Country=RU
 +
|State  =RU/SPE
 +
|City  =RU/SPE/Saint Petersburg
 +
|Year  =2013
 +
|Homepage=http://cav2013.forsyte.at/
 
|Ordinal=25
 
|Ordinal=25
|Series=CAV
+
|Start date=2013-07-13
|Type=Conference
+
|Title  =Computer Aided Verification
|Field=Computer-Aided Verification
+
|Accepted papers=71
|Start date=2013/07/13
 
|End date=2013/07/19
 
|Homepage=http://cav2013.forsyte.at/
 
|City=Saint Petersburg
 
|Country=Russia
 
 
|Submitted papers=209
 
|Submitted papers=209
|Accepted papers=71
+
}}
|has Proceedings Link=https://www.springer.com/gp/book/9783642397981
 
|State=RU/SPE}}
 

Latest revision as of 03:28, 6 December 2021


Event Rating

median worst
Pain1.svg Pain5.svg

List of all ratings can be found at CAV 2013/rating

CAV 2013
Computer Aided Verification
Ordinal 25
Event in series CAV
Dates 2013-07-13 (iCal) - 2013-07-19
Homepage: http://cav2013.forsyte.at/
Location
Location: RU/SPE/Saint Petersburg, RU/SPE, RU
Loading map...

Papers: Submitted 209 / Accepted 71 (34 %)
Table of Contents