Just a reminder: Patrick Cousot will speak today at noon in the PL seminar (366). Cousot is the inventor and dominant figure of abstract interpretation for the last three decades. His talk is about an attempt by his former PhD students to apply the ideas to a huge commercial project, the verification of the Airbus software. -- Matthias