Patrick Cousot CIMS/NYU and ENS Title: A casual introduction to Abstract Interpretation Joint work with Radhia Cousot Abstract: We present a casual introduction to abstract Interpretation providing an informal overview of the basic ideas of the theory together with simple examples of static analysis of computational systems.