Check out the MeTRiD 2018 programme and invited presentations. The MeTRiD 2018 proceddings have been published in EPTCS vol 272.
The workshop was organised by the following people:
Organisers
- Saddek Bensalem (Verimag / Université Grenoble Alpes, France)
- Simon Bliudze (INRIA Lille – Nord Europe, France)
Program committee
- Farhad Arbab (CWI and Leiden University, The Netherlands)
- Paul Attie (American University of Beirut, Lebanon)
- Saddek Bensalem (Verimag / Université Grenoble Alpes, France)
- Simon Bliudze (EPFL, Switzerland / INRIA, France)
- Marius Bozga (Verimag / CNRS, France)
- Laura Bocchi (University of Kent, UK)
- Alessandro Cimatti (Fondazione Bruno Kessler, Italy)
- Rocco De Nicola (IMT Lucca, Italy)
- Rayna Dimitrova (Max Planck Institute for Software Systems, Germany)
- Bernd Finkbeiner (Saarland University, Germany)
- Marieke Huisman (University of Twente, The Netherlands)
- Mohamad Jaber (American University of Beirut, Lebanon)
- Panagiotis Katsaros (Aristotle University of Thessaloniki, Greece)
- Igor Konnov (TU Wien, Austria)
- Axel Legay (IRISA, France)
- Bernhard Rumpe (RWTH Aachen, Germany)
- Martina Seidl (Johannes Kepler University, Austria)
- Paola Spoletini (Kennesaw State University, USA)
- Joseph Sifakis (Verimag / CNRS, France)
- Janos Sztipanovits (Vanderbilt University, USA)
- Wang Yi (Uppsala University, Sweden)
- Martin Wirsing (Ludwig-Maximilians-Universität München, Germany)
- Josef Widder (TU Wien, Austria)
