\bibitem{Cousot-INI06} P.~Cousot. \newblock Program Verification by Parametric Abstraction and Semi-definite Programming (invited talk). \newblock \emph{Logic and Algorithms Workshop ``Constraints and Verification''}, Isaac Newton Institute for Mathematical Sciences, Cambridge, United Kingdom, 8--12 May 2006. @inProceedings{Cousot-INI06, author = {P{.} Cousot}, title = {Program Verification by Parametric Abstraction and Semi-definite Programming (invited talk)}, booktitle = {Logic and Algorithms Workshop ``Constraints and Verification''}, address = {Isaac Newton Institute for Mathematical Sciences, Cambridge, United Kingdom}, month = {8--12 May}, year = 2006, }