{"id":173,"date":"2017-06-14T21:11:17","date_gmt":"2017-06-14T19:11:17","guid":{"rendered":"https:\/\/project.inria.fr\/wrla18\/?page_id=173"},"modified":"2018-01-24T21:32:49","modified_gmt":"2018-01-24T20:32:49","slug":"committees","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/wrla18\/committees\/","title":{"rendered":"Committees"},"content":{"rendered":"<p>Steering Committee:<\/p>\n<ul>\n<li>Kokichi Futatsugi, JAIST, Japan<\/li>\n<li>Claude Kirchner, INRIA Research Center Bordeaux \u2013 Sud-Ouest, France<\/li>\n<li>Narciso Mart\u00ed-Oliet, Universidad Complutense de Madrid, Spain<\/li>\n<li>Jos\u00e9 Meseguer, University of Illinois at Urbana-Champaign, USA<\/li>\n<li>Ugo Montanari, University of Pisa, Italy<\/li>\n<li>Grigore Rosu, University of Illinois at Urbana-Champaign, USA<\/li>\n<li>Carolyn Talcott, SRI International, USA<\/li>\n<li>Martin Wirsing, Ludwig Maximilians Universit\u00e4t M\u00fcnchen, Germany<\/li>\n<\/ul>\n<p>Program Committee:<\/p>\n<ul>\n<li>Kyungmin Bae, POSTECH, Korea<\/li>\n<li>Roberto Bruni, University of Pisa, Italy<\/li>\n<li>Stefan Ciobaca, Alexandru Ioan Cuza University, Romania<\/li>\n<li>Francisco Dur\u00e1n, Universidad de M\u00e1laga, Spain<\/li>\n<li>Steven Eker, SRI International, USA<\/li>\n<li>Santiago Escobar, Universitat Polit\u00e8cnica de Val\u00e8ncia, Spain<\/li>\n<li>Maribel Fern\u00e1ndez, King\u2019s College London, UK<\/li>\n<li>Thomas Genet, IRISA\/Universit\u00e9 de Rennes 1, France<\/li>\n<li>J\u00fcrgen Giesl, RWTH Aachen, Germany<\/li>\n<li>Deepak Kapur, University of New Mexico, USA<\/li>\n<li>Helene Kirchner, INRIA, France<\/li>\n<li>Alexander Knapp, Universitat Augsburg, Germany<\/li>\n<li>Alberto Lluch Lafuente, Technical University of Denmark, Denmark<\/li>\n<li>Dorel Lucanu, Alexandru Ioan Cuza University, Romania<\/li>\n<li>Salvador Lucas,\u00a0Universitat Polit\u00e8cnica de Val\u00e8ncia, Spain<\/li>\n<li>Narciso Mart\u00ed-Oliet, Universidad Complutense de Madrid, Spain<\/li>\n<li>Ugo Montanari, University of Pisa, Italy<\/li>\n<li>Pierre-Etienne Moreau, Universit\u00e9 de Lorraine, France<\/li>\n<li>Vivek Nigam, Federal University of Para\u00edba, Brasil<\/li>\n<li>Kazuhiro Ogata, JAIST, Japan<\/li>\n<li>Peter \u00d6lveczky, University of Oslo, Norway<\/li>\n<li>Christophe Ringeissen, INRIA-Lorraine Nancy, France<\/li>\n<li>Grigore Rosu, University of Illinois at Urbana-Champaign, USA<\/li>\n<li>Vlad Rusu, INRIA Lille Nord-Europe, France (chair)<\/li>\n<li>Ralf Sasse, ETH Zurich, Switzerland<\/li>\n<li>Traian-Florin Serbanuta, University of Bucharest, Romania<\/li>\n<li>Mark-Oliver Stehr, SRI International, USA<\/li>\n<li>Carolyn Talcott, SRI International, USA<\/li>\n<li>Martin Wirsing, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Germany<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Steering Committee: Kokichi Futatsugi, JAIST, Japan Claude Kirchner, INRIA Research Center Bordeaux \u2013 Sud-Ouest, France Narciso Mart\u00ed-Oliet, Universidad Complutense de Madrid, Spain Jos\u00e9 Meseguer, University of Illinois at Urbana-Champaign, USA Ugo Montanari, University of Pisa, Italy Grigore Rosu, University of Illinois at Urbana-Champaign, USA Carolyn Talcott, SRI International, USA Martin\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/wrla18\/committees\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":1179,"featured_media":0,"parent":0,"menu_order":9,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-173","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/wrla18\/wp-json\/wp\/v2\/pages\/173","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/wrla18\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/wrla18\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/wrla18\/wp-json\/wp\/v2\/users\/1179"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/wrla18\/wp-json\/wp\/v2\/comments?post=173"}],"version-history":[{"count":4,"href":"https:\/\/project.inria.fr\/wrla18\/wp-json\/wp\/v2\/pages\/173\/revisions"}],"predecessor-version":[{"id":204,"href":"https:\/\/project.inria.fr\/wrla18\/wp-json\/wp\/v2\/pages\/173\/revisions\/204"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/wrla18\/wp-json\/wp\/v2\/media?parent=173"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}