\bibitem{Cousot-OHEARN60-1}
P.~Cousot.
\newblock Is Peter Correct or Incorrect?
\newblock In \emph{O'Hearn Fest}, POPL 2024, London, UK
  14 January 2024. 

@inproceedings{CousotOHEARN60-1,
   author =    {Cousot, P{.}},
   title =     {Is Peter Correct or Incorrect?},
   booktitle = {O'Hearn Fest},
   address =   {POPL 2024, London, UK},
   month =     jan,
   year =      2024,
   url =       {https://popl24.sigplan.org/home/ohearn-fest}
}