Steering committee members

The FMICS steering committee currently consists of the following people:

  • Maurice ter Beek (ISTI-CNR, IT)
  • Alessandro Fantechi (University of Florence, IT)
  • Hubert Garavel (INRIA, FR)
  • Tiziana Margaria (University of Limerick and LERO, IE)
  • Radu Mateescu (INRIA, FR)
  • Jaco van de Pol (Aarhus University, DK)