Here are the pictures of my cat, Ipazia, while I was printing the final version of " Class
Invariants as Abstract Intepretetation of Trace Semantics". She
looks very interested in the subject...
ps. If you wonder the origin of her name, "Ipazia" is the italian for "Hypatia", the martyr of free
thinking.