Attending CAV 2023 in Paris from July 17th to 22nd Jul 17, 2023 Pierre-Loïc Garoche Professor of Computer Science
