\bibitem{Cousot-Google25}
P.~Cousot.
\newblock Abstract Interpretation and (Hyper)-Logics
\newblock Google, New York, NY, September 17th, 2025. 

@inproceedings{Cousot-Google25,
   author =    {Cousot, P{.}},
   title =     {Abstract Interpretation and (Hyper)-Logics},
   booktitle = {Google, New York, NY},
   month =     sep,
   year =      2025,
}