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 11th, 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.
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.
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.
8th
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),
25th—30th 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.
`
Last modified: 02/06/2025 19:08:04