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)