Cours d'interprétation abstraite / Abstract interpretation courses :

• Dagstuhl-Seminar on Abstract Interpretation, 28 August-1 September 1995

• Dottorato di Ricerca Corso di Interpretazione Astratta, Università di Pisa, 9 - 20 septembre 1996
• École jeunes chercheurs en programmation, Bordeaux, 25 mars - 5 avril 1996
• ESSLLI'96, Eighth European Summer School in Logic, Language, and Information, 12-23 Aug 1996 (annonce/announcement)

• École jeunes chercheurs en programmation, INRIA Sophia Antipolis, 17 au 28 Mars 1997 (plan du cours/course content)
• Indo-French School on Abstract Interpretation, 14 - 20 April 1997, JNCPAR, Bangalore, Inde/India, organized by R.K. Shyamasundar.
• Workshop on Abstract Interpretation, KAIST, Taeduk Science Complex, Taejon, Korea, 10--15 november 1997.

• École Jeunes Chercheurs en Programmation - École des Mines de Nantes, 23 mars au 2 avril 1998
• Marktoberdorf'98 Summer School
• Corso di Interpretazione Astratta, Dottorato di Ricerca in Informatica, 21--25 septembre 1998, Università di Udine, Italia.

• Séminaire « ANALYSE STATIQUE DE LOGICIELS: du test exhaustif à la vérification automatique » de l'IENS du 28 janvier 1999.
• Dagstuhl Seminar 99151, Program Analysis.

• SRV 2002 Summer School
• ISCL 02 Summer School

• Abstract Interpretation (graduate course), Håkan Millroth (hakanm@csd.uu.se), Computing Science Department, Uppsala University
• Abstract Interpretation of Logic Pograms, Manuel Hermenegildo, Daniel Cabeza with help from Manuel Carro
• Abstraction in Logic Programming, Giorgio Levi.
• Interpretazione astratta, Gilberto Filé
• CS357: Formal Verification of Reactive Systems, Zohar Manna and Henny Sipma