Event Rating
| median | worst | 
|   |   | 
List of all ratings can be found at CAV 2001/rating
| CAV 2001 | 
| Computer Aided Verification | 
| Ordinal | 13 | 
| Event in series | CAV | 
| Dates | 2001-07-18 (iCal) - 2001-07-22 | 
| Homepage: | http://www.lsv.ens-cachan.fr/Events/cav01/ | 
| Location | 
| Location: | FR/IDF/Paris, FR/IDF, FR | 
| 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.8588897,"lon":2.320041,"icon":""}],"imageoverlays":null}
 | 
|  | 
| Papers: | Submitted 106 / Accepted 33 (31.1 %) | 
| Table of Contents | 
|  | 
|  |