P. Cousot, Abstract Interpretation Courses / Research
Cours d'interprétation abstraite / Abstract interpretation courses :
Prof. Patrick COUSOT
2002,
1999,
1998,
1997,
1996,
1995 &
Autres cours / Other Courses
(Voir également les écoles d'été / See also the Summer Schools).
1995:
1996:
ESSLLI'96, Eighth European Summer School in Logic, Language, and Information, 12-23 Aug 1996 (annonce/announcement)
1997:
- É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.
1998:
1999:
2002:
Autres cours sur l'interprétation Abstraite / Other courses on Abstract Interpretation:
Retour à / back to:
Index, Institutions, Enseignement / Teaching, Recherche / Research, Services
Dernière mise à jour / Last modified :
Monday, 28-Dec-2009 15:09:30 CET