Patrick Cousot.
Abstract Interpretation — 40 years back + some years ahead.
Next forty years of abstract interpretation (N40AI 2017), Sat 21 January 2017, Paris France.

\bibitem{Cousot17-N40AI}
P{.} Cousot.
\newblock Abstract Interpretation --- 40 years back $+$ some years ahead.
\newblock N40AI 2017, Sat 21 January 2017, Paris, France.

@unpublished{Cousot17-N40AI,
   author = {P{.} Cousot},
   title  = {Abstract Interpretation --- 40 years back $+$ some years ahead},
   note   = {N40AI 2017, Sat 21 January 2017, Paris France},
   year   = 2017,
   month  = "Sat 21 " # jan,
}