Models for Formal Analysis of Real Systems
(MARS)
photograph courtesy NASA
Home
Workshops
MARS 2022
MARS 2020
MARS 2018
MARS 2017
MARS 2015
Repository
Steering Committee
Credits
Steering Committee
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)