\bibitem{Cousot-RW-2014}
P.~Cousot
\newblock Reinhard Wilhelm.
\newblock In \emph{Farewell Colloquium on the Occasion of Reinhard Wilhelm's 68th birthday}, 
          Saarbru{\"u}chen, Germany, November, 28th 2014.

@unpublished{Cousot-RW-2014,
  author    = {Patrick Cousot},
  title     = {Reinhard Wilhelm},
  booktitle = {Farewell Colloquium on the Occasion of Reinhard Wilhelm's 68th birthday
               Saarbru{\"u}chen, Germany, November, 28th 2014},
  year      = {2014},
}