{"id":175,"date":"2017-06-14T21:17:42","date_gmt":"2017-06-14T19:17:42","guid":{"rendered":"https:\/\/project.inria.fr\/wrla18\/?page_id=175"},"modified":"2017-06-14T21:22:12","modified_gmt":"2017-06-14T19:22:12","slug":"previous-editions","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/wrla18\/previous-editions\/","title":{"rendered":"Previous Editions"},"content":{"rendered":"<p>with links to proceedings and (when available) to special editions of journals:<\/p>\n<ul>\n<li>1996 Asilomar (USA) <a href=\"http:\/\/www.sciencedirect.com\/science\/journal\/15710661\/4\">ENTCS 4\u00a0<\/a><a href=\"http:\/\/www.sciencedirect.com\/science\/journal\/03043975\/285\/2\">Theoretical Computer Science Volume 285, Issue 2 <\/a><\/li>\n<li>1998\u00a0<a href=\"http:\/\/rewriting.loria.fr\/WRLA-98\/\">Pont-a-Mousson (France)<\/a><a href=\"http:\/\/www.sciencedirect.com\/science\/journal\/15710661\/15\">\u00a0ENTCS 15<\/a><\/li>\n<li>2000 Kanazawa (Japan)\u00a0<a href=\"http:\/\/www.sciencedirect.com\/science\/journal\/15710661\/36\">ENTCS 36<\/a><\/li>\n<li>2002 Pisa (Italy)\u00a0<a href=\"http:\/\/www.sciencedirect.com\/science\/journal\/15710661\/71\">ENTCS 71<\/a><\/li>\n<li>2004 Barcelona (Spain)\u00a0<a href=\"http:\/\/www.sciencedirect.com\/science\/journal\/15710661\/117\">ENTCS 117\u00a0<\/a><a href=\"http:\/\/link.springer.com\/journal\/10990\/20\/1\/page\/1\">Higher-Order and Symbolic Computation\u00a0Volume 2 Issues 1-2<\/a><\/li>\n<li>2006\u00a0<a href=\"http:\/\/www-formal.stanford.edu\/clt\/WRLA06\/\">Vienna (Austria)\u00a0<\/a><a href=\"http:\/\/www.sciencedirect.com\/science\/journal\/15710661\/176\/4\">ENTCS 176<\/a><\/li>\n<li>2008 Budapest (Hungary)\u00a0<a href=\"http:\/\/www.sciencedirect.com\/science\/journal\/15710661\/238\/3\">ENTCS 238<\/a><\/li>\n<li>2010 <a href=\"http:\/\/wrla10.ifi.uio.no\/\">Paphos (Cyprus)\u00a0<\/a><a href=\"http:\/\/link.springer.com\/book\/10.1007\/978-3-642-16310-4\/page\/1\">LNCS 6381\u00a0<\/a><a href=\"http:\/\/www.sciencedirect.com\/science\/journal\/15678326\/81\">Journal of Logic and Algebraic Programming Volume 81, Issues 7\u20138<\/a><\/li>\n<li>2012<a href=\"http:\/\/wrla2012.lcc.uma.es\/\">\u00a0Tallinn (Estonia)<\/a> <a href=\"http:\/\/link.springer.com\/book\/10.1007\/978-3-642-34005-5\/page\/1\">LNCS 7571<\/a> <a href=\"http:\/\/www.sciencedirect.com\/science\/journal\/01676423\/99\">Science of Computer Programming Volume 99<\/a><\/li>\n<li>2014 \u00a0<a href=\"http:\/\/users.dsic.upv.es\/workshops\/wrla2014\/\">Grenoble (France)\u00a0<\/a><a href=\"http:\/\/link.springer.com\/book\/10.1007\/978-3-319-12904-4\">LNCS 8663\u00a0<\/a><a href=\"http:\/\/www.sciencedirect.com\/science\/journal\/23522208\/85\/1\/supp\/P1\">Journal of Logical and Algebraic Methods in Programming, Volume 85, Number 1, Part 1, 2016<\/a><\/li>\n<li>2016\u00a0<a href=\"https:\/\/fmse.info.uaic.ro\/events\/WRLA2016\/\">Eindhoven (The Netherlands)\u00a0<\/a><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-319-44802-2\">LNCS 9942<\/a>\u00a0<a href=\"http:\/\/www.sciencedirect.com\/science\/journal\/23522208\/85\/1\/supp\/P1\">Journal of Logical and Algebraic Methods in Programming (papers currently under review)<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>with links to proceedings and (when available) to special editions of journals: 1996 Asilomar (USA) ENTCS 4\u00a0Theoretical Computer Science Volume 285, Issue 2 1998\u00a0Pont-a-Mousson (France)\u00a0ENTCS 15 2000 Kanazawa (Japan)\u00a0ENTCS 36 2002 Pisa (Italy)\u00a0ENTCS 71 2004 Barcelona (Spain)\u00a0ENTCS 117\u00a0Higher-Order and Symbolic Computation\u00a0Volume 2 Issues 1-2 2006\u00a0Vienna (Austria)\u00a0ENTCS 176 2008 Budapest (Hungary)\u00a0ENTCS\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/wrla18\/previous-editions\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":1179,"featured_media":0,"parent":0,"menu_order":10,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-175","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/wrla18\/wp-json\/wp\/v2\/pages\/175","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=175"}],"version-history":[{"count":3,"href":"https:\/\/project.inria.fr\/wrla18\/wp-json\/wp\/v2\/pages\/175\/revisions"}],"predecessor-version":[{"id":179,"href":"https:\/\/project.inria.fr\/wrla18\/wp-json\/wp\/v2\/pages\/175\/revisions\/179"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/wrla18\/wp-json\/wp\/v2\/media?parent=175"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}