\bibitem{Cousot-Mycroft-festschrift-23}
P.~Cousot.
\newblock The Contributions of Alan Mycroft to Abstract Interpretation
\newblock In \emph{Symposium and festschrift to celebrate the work of Prof. Alan Mycroft}, 
          Department of Computer Science and Technology, Cambridge, UK,
          December 1st 2023, \url{https://dorchard.github.io/mycroftfest}. 

@inproceedings{Cousot-Mycroft-festschrift-23,
   author =    {Cousot, P{.}},
   title =     {The Contributions of Alan Mycroft to Abstract Interpretation},
   booktitle = {Symposium and festschrift to celebrate the work of Prof. Alan Mycroft},
   address =   {Department of Computer Science and Technology, Cambridge, UK},
   month =     dec,
   year =      2023,
   url =       {https://dorchard.github.io/mycroftfest}
}