Courses of Patrick Cousot in summer/winter schools (© copyright notice)

• Patrick Cousot. Abstract interpretation based tool construction for software verification..
  8th LASER Summer School on Software Engineering, Tools for Practical Software Verification, Tools for Practical Software Verification September 4-10, 2011 - Elba Island, Italy

• Patrick Cousot. Basic concepts of abstract interpretation.
  Summer School Marktoberdorf 2009: Logics and Languages for Reliability and Security. J. Esparza, O. Grumberg, M. Broy (Org.), Marktoberdorf, Germany, August 4 to August 16, 2009.

• Patrick Cousot. Abstract interpretation. Summer school on Theory and Practice of Language Implementation
  University of Oregon, Eugene, OR, USA, July 23—31, 2009.

• Patrick Cousot. Course on Abstract Interpretation.
  IBM T.J. Watson Research Center, Hawthorne, N.Y., USA, 6 April — 11 May 2007.

• 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.)