MeTRiD 2018

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

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)

Comments are closed.