Fifth Workshop on Automated Verification of Critical Systems (AVoCS'05). Image 19/59
The two lovely ladies from LORIA-INRIA, Leonor Prensa Nieto and Eun-Young Kang.