Up Album » CAV award ceremonies in Haifa (August 7-10, 2022) Slideshow

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.

DSC_0858-Orna7
1
The CAV 2022 Award: presented by Orna Grumberg
DSC_0857-Orna6
2
...
Orna-IMG-20220809-WA0004-recadre-229
3
The awardees are ... myself and my PhD student at that time, Hassen Saidi (who could not come) for our work on predicate abstraction, presented at CAV'97 in Haifa in the paper "Construction of abstract state graphs with PVS"
20220809_091422-mytalk0
4
Today's talk is on my current work
20220809_094936-mytalk-32
5
Today's talk is on my current work
DSC_0881-Orna+me21
6
Later, during the break: presentation of the nice plaque
DSC_0876-Orna+me20
7
...
20220809_213339-w-Volodymir-at-CAV-fest5
8
At the dinner: Selfie with Vladimir Burenkov
20220809_213337-me-at-CAVfest-23
9
...
DSC_0872-the-2021-awards18
10
The awardees of the 2021 CAV award, at least those who could make it to CAV 2022. Some very nice short presentations were given ...
DSC_0859-DaveDill8
11
David Dill
DSC_0861-Cesare9
12
Cesare Tinelli
DSC_0862-RobertoSebastiano10
13
Roberto Sebastiani
DSC_0863-AlessandroCimetti11
14
Alessandro Cimatti
DSC_0864-slide-abstraction12
15
Interesting slides ... we would have liketd to have an SMT solver for constructing abstractions ... PVS did a good job but was slow
DSC_0865-Nicolaj13
16
Nikolaj Bjorner
DSC_0867-Bruno-Dutertre14
17
Bruno Dutertr
DSC_0868-SanjitSechia15
18
Sanjit Seshia
DSC_0869-ClarkBarrett16
19
Clark Barett
DSC_0873-2021-awards19
20
once more the whole "team"
DSC_0883-Orna+Harald-v223
21
Orna Grumberg and Harald Rueß ... the light conditions were horrible ...
DSC_088524
22
...
DSC_0886-Roberto+me-v226
23
myself with Roberto
DSC_0888-Roberto+me-v228
24
...

24 Images | S Graf | Create web photo albums with Jalbum | Chameleon skin | Aide