Event Rating
| median
|
worst
|
|
|
List of all ratings can be found at CAV 2014/rating
| CAV 2014
|
Computer Aided Verification
|
| Ordinal
|
26
|
| Event in series
|
CAV
|
| Dates
|
2014-07-18 (iCal) - 2014-07-22
|
| Homepage:
|
http://i-cav.org/2014/
|
| Location
|
| Location:
|
AT/9/Vienna, AT/9, AT
|
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":48.2032864,"lon":16.3691936,"icon":""}],"imageoverlays":null}
|
|
|
| Papers:
|
Submitted 229 / Accepted 67 (29.3 %)
|
| Table of Contents
|
|
|
|
|