Participation to FMICS 2023 Program Committee Nov 7, 2022 Pierre-Loïc Garoche Professor of Computer Science