Static Analysis and Verification, College de France, April 4, 2012
http://www.college-de-france.fr/site/en-serge-abiteboul/seminar-2012-04-04-11h00.htm