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

2019 2018 2011 2009 2007 2004 2003 2002 1998 (See also the Courses on Abstract Interpretation)

Patrick Cousot. A Tutorial on Abstract Interpretation ICTAC 2019, October 31, 2019 Hammamet, Tunisia

Patrick Cousot. Abstract Interpretation: Semantics, Verification, and Analysis. VMCAI 2019 Winter School, January 11^th, 2019, Instituto Superior Técnico (IST/UL), University of Lisbon, Portugal.

Patrick Cousot. Abstract Interpretation: Semantics, Verification, and Analysis. Marktoberdorf International Summer School 2018 on Engineering Secure And Dependable Software Systems, Marktoberdorf, Germany, August 6—10, 2018.

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

Last modified: