CAV 2022 in Haifa (in August this time). Previous CAV in Haifa was in 1997 (no pictures, but plenty of wonderful souvenirs). At CAV 97, I presented the paper on predicate abstraction for which we got the award.

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.

Workshop in honor of Bengt Jonsson, organized by his colleagues on August 29, 2018 in Uppsala for his 60th Birthday. Her some pictures taken at the workshop, at the dinner, and also very few during the following days.

A week on the Porquerolles Island. A nice place to hold a conference in June. A place to learn about new topics and to get new friends. Many thanks to the organizers.
The last time I came here was many years ago, in April, on a sailing boat. The place was much more quiet then.

A few photos of the event and of a hike above Grenoble

Some pictures from Turku taken during the iFM 2013 conference. During the first days it was warm and sunny but right for the excursion in the archipelago it started to rain ? and didn?t stop until I left. What a pity, the region around the harbor looked very attractive from the boat that brought us back from the excursion.

A few photos from Lund and Malmö taken during the LCCC workshop. We have 4 days of sunny but nevertheless quite cool weather. It?s still very early spring in Sweden, as one can see on the photos at the very end.

The mandatory group photo (taken with Oscar?s camera) and a few photos from our visit to Trier. My last visit in this city was by bike when I was still in school, which is already ?a few years? back.

A few photos from Isola in Gouves, a few km east of Iraklio: Some views of the hotel, sunrises on the beach (the sunsets would have been more spectacular, but I always missed them somehow), and a view pictures from the excursion to Agios Nikolaios and Elounda. The day after the conference, we visited Knossos and Iraklio. Finally, a stop over in Athens offered an opportunity for a short stroll around Acropolis.

Here some of my photos of this event.
The photos are of reduced size (1280x720 max). For HD size (1920x1200) ask me. There exist also other photos of this event ... ask for example David Monniaux ...

Some photos of this ceremony.
For higher resolution photos, ask me (these ones are 1200x720 max)