Cours de Patrick Cousot dans des écoles de chercheurs (© droits d'auteur)
Courses of Patrick Cousot in summer/winter schools (© copyright notice)

• Patrick Cousot. Abstract Interpretation, Ph.D. Course on Static Analysis
  Dipartimento di Informatica, Università degli Studi di Verona, Verona, Italy.

• Patrick Cousot. Abstract Interpretation, EJCP'2004 course.
  École Jeunes Chercheurs en Programmation, École des Mines de Nantes, France, 24 May — 4 June, 2004.

• Patrick Cousot. Abstract Interpretation, EJCP'2003 course.
  École Jeunes Chercheurs en Programmation, Aussois, France, 26 May — 6 June, 2003.

• Patrick Cousot. An Introduction to Abstract Interpretation, EWSCS 2003 course.
  8^th Estonian Winter School in Computer Science (EWSCS) / VIII Eesti Arvutiteaduse Talvekool (EATTK) , Palmse, Estonia, March 2—7, 2003.

• Patrick Cousot. Abstract Interpretation: Theory and Applications, ISCL 2002 course.
  Second International Summer School in Computational Logic (ISCL 2002), Hotel Villa del Mare, Acquafredda di Maratea (Basilicata, Italy), 25^th—30^th August, 2002.

• Patrick Cousot. Systematic Construction of a Hierarchy of Semantics of Specification and Programming Languages by Abstraction/Refinement, Summer School on "Software Specification, Refinement and Verification" in Turku, Finland, August 19-30, 2002.

• NATO International Summer School 1998 on Calculational System Design. Marktoberdorf, Germany, 28 july--9 august 1998, organized by F.L. Bauer, M. Broy, E.W. Dijkstra, D. Gries and C.A.R. Hoare. (The Marktoberdorf'98 course notes on "The Calculational Design of a Generic Abstract Interpreter" and the Marktoberdorf'98 Generic Abstract Interpreter.)