{"id":4,"date":"2011-12-08T11:55:34","date_gmt":"2011-12-08T10:55:34","guid":{"rendered":"http:\/\/project.inria.fr\/template1\/?page_id=4"},"modified":"2018-05-21T09:55:06","modified_gmt":"2018-05-21T07:55:06","slug":"4-2","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/wrla18\/","title":{"rendered":""},"content":{"rendered":"
\n
\"\"<\/a><\/div>\n<\/div>\n
<\/div>\n

\"\"<\/a><\/p>\n

Best paper award for WRLA 2018 to Jos\u00e9 Meseguer for his paper\u00a0Generalized Rewrite Theories\u00a0<\/em>and Coherence Completion<\/em><\/h4>\n

Post-proceedings to appear in\u00a0\u00a0\"\"<\/a><\/h4>\n
\n
\n
\n

 <\/p>\n

 <\/p>\n

Rewriting is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application domains. It also has good properties as a metalogical framework for representing logics. Several successful languages based on rewriting (ASF+SDF, CafeOBJ, ELAN,Maude) have been designed and implemented.<\/p>\n

The aim of WRLA is to bring together researchers with a common interest in rewriting and its applications, and to give them the opportunity to present their recent work, discuss future research directions, and exchange ideas.<\/p>\n

 <\/p>\n

 <\/p>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

Best paper award for WRLA 2018 to Jos\u00e9 Meseguer for his paper\u00a0Generalized Rewrite Theories\u00a0and Coherence Completion Post-proceedings to appear in\u00a0\u00a0     Rewriting is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of\u2026<\/p>\n

Continue reading<\/span><\/i><\/a> <\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-4","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/wrla18\/wp-json\/wp\/v2\/pages\/4","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\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/wrla18\/wp-json\/wp\/v2\/comments?post=4"}],"version-history":[{"count":55,"href":"https:\/\/project.inria.fr\/wrla18\/wp-json\/wp\/v2\/pages\/4\/revisions"}],"predecessor-version":[{"id":219,"href":"https:\/\/project.inria.fr\/wrla18\/wp-json\/wp\/v2\/pages\/4\/revisions\/219"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/wrla18\/wp-json\/wp\/v2\/media?parent=4"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}