First CAV in Grenoble in June 1989. It was called Workshop for "Automatic Verification Methods for Finite State Systems". In the following year in New Brunswick, the name CAV was used .
Here some pictures I had taken at that first event.