Chair : Tiziana Margaria

Vice Chair: Jim Woodcock

Secretary : Natarajan Shankar

Past-Chair : Jean-Christophe Filliâtre

Home page: https://usr.lmf.cnrs.fr/~jcf/1.9/