{"id":219,"date":"2018-10-12T13:24:49","date_gmt":"2018-10-12T11:24:49","guid":{"rendered":"https:\/\/project.inria.fr\/metrid\/?page_id=219"},"modified":"2018-10-15T12:38:26","modified_gmt":"2018-10-15T10:38:26","slug":"metrid-2018","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/metrid\/past\/metrid-2018\/","title":{"rendered":"MeTRiD 2018"},"content":{"rendered":"<p>Check out the MeTRiD 2018 <a href=\"https:\/\/project.inria.fr\/metrid\/past\/metrid-2018\/programme\/\">programme<\/a> and <a href=\"https:\/\/project.inria.fr\/metrid\/past\/metrid-2018\/invited\/\">invited presentations<\/a>. The <a href=\"http:\/\/eptcs.web.cse.unsw.edu.au\/content.cgi?MeTRiD2018\">MeTRiD 2018 proceddings<\/a> have been published in <a href=\"http:\/\/about.eptcs.org\/\">EPTCS<\/a> vol 272.<\/p>\n<p>The workshop was organised by the following people:<\/p>\n<h1>Organisers<\/h1>\n<ul>\n<li><a href=\"http:\/\/www-verimag.imag.fr\/~bensalem\/\">Saddek Bensalem<\/a> (<em>Verimag<\/em> \/ <em>Universit\u00e9 Grenoble Alpes<\/em><em>,<\/em> France)<\/li>\n<li><a href=\"http:\/\/www.bliudze.me\/simon\/\">Simon Bliudze<\/a> <em>(<\/em><em>INRIA Lille &#8211; Nord Europe,<\/em> France)<\/li>\n<\/ul>\n<h1>Program committee<\/h1>\n<ul>\n<li>Farhad Arbab (<em>CWI<\/em> and <em>Leiden University<\/em>, The Netherlands)<\/li>\n<li>Paul Attie (<em>American University of Beirut<\/em>, Lebanon)<\/li>\n<li>Saddek Bensalem (<em>Verimag <\/em>\/<em> Universit\u00e9 Grenoble Alpes<\/em>, France)<\/li>\n<li>Simon Bliudze <em>(EPFL<\/em>, Switzerland \/ <em>INRIA<\/em>, France)<\/li>\n<li>Marius Bozga <em>(Verimag<\/em> \/ <em>CNRS,<\/em> France)<\/li>\n<li>Laura Bocchi (<em>University of Kent<\/em>, <em>UK)<\/em><\/li>\n<li>Alessandro Cimatti (<em>Fondazione Bruno Kessler<\/em>, Italy)<\/li>\n<li>Rocco De Nicola (<em>IMT Lucca<\/em>, Italy)<\/li>\n<li>Rayna Dimitrova (<em>Max Planck Institute for Software Systems<\/em>, Germany)<\/li>\n<li>Bernd Finkbeiner (<em>Saarland University<\/em>, Germany)<\/li>\n<li>Marieke Huisman (<em>University of Twente<\/em>, The Netherlands)<\/li>\n<li>Mohamad Jaber (<em>American University of Beirut<\/em>, Lebanon)<\/li>\n<li>Panagiotis Katsaros (<em>Aristotle University of Thessaloniki<\/em>, Greece)<\/li>\n<li>Igor Konnov (<em>TU Wien<\/em>, Austria)<\/li>\n<li>Axel Legay <em>(IRISA<\/em>, France)<\/li>\n<li>Bernhard Rumpe (<em>RWTH Aachen<\/em>, Germany)<\/li>\n<li>Martina Seidl (<em>Johannes Kepler University<\/em>, Austria)<\/li>\n<li>Paola Spoletini (<em>Kennesaw State University<\/em>, USA)<\/li>\n<li>Joseph Sifakis <em>(Verimag<\/em> \/ <em>CNRS,<\/em> France)<\/li>\n<li>Janos Sztipanovits (<em>Vanderbilt University<\/em>, USA)<\/li>\n<li>Wang Yi (<em>Uppsala University<\/em>, Sweden)<\/li>\n<li>Martin Wirsing (<em>Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen<\/em>, Germany)<\/li>\n<li>Josef Widder (<em>TU Wien<\/em>, Austria)<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>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\u00e9 Grenoble Alpes, France) Simon Bliudze (INRIA Lille &#8211; Nord Europe, France) Program committee Farhad Arbab (CWI\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/metrid\/past\/metrid-2018\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":1275,"featured_media":0,"parent":216,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-219","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/metrid\/wp-json\/wp\/v2\/pages\/219","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/metrid\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/metrid\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/metrid\/wp-json\/wp\/v2\/users\/1275"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/metrid\/wp-json\/wp\/v2\/comments?post=219"}],"version-history":[{"count":7,"href":"https:\/\/project.inria.fr\/metrid\/wp-json\/wp\/v2\/pages\/219\/revisions"}],"predecessor-version":[{"id":280,"href":"https:\/\/project.inria.fr\/metrid\/wp-json\/wp\/v2\/pages\/219\/revisions\/280"}],"up":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/metrid\/wp-json\/wp\/v2\/pages\/216"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/metrid\/wp-json\/wp\/v2\/media?parent=219"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}