---

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.