Models for Formal Analysis of Real Systems (MARS)

The Steering Committee's role is to provide advice and to ensure successful organisation of the conference series. It also provides support, guidance and oversight of the repository.

Hubert Garavel (INRIA Grenoble Rhône-Alpes, France, Germany)
Rob van Glabbeek (Data61, CSIRO and UNSW, Australia)
Jan Friso Groote (Eindhoven University of Technology, The Netherlands)
Holger Hermanns (Saarland University, Germany)
Peter Höfner (Australian National University, Australia)

Models for Formal Analysis of Real Systems(MARS)

Steering Committee

Models for Formal Analysis of Real Systems
(MARS)