{"id":317,"date":"2019-03-06T09:41:03","date_gmt":"2019-03-06T08:41:03","guid":{"rendered":"http:\/\/www.ens-lyon.fr\/LIP\/CASH\/?p=317"},"modified":"2019-03-08T16:30:46","modified_gmt":"2019-03-08T15:30:46","slug":"317","status":"publish","type":"post","link":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/?p=317","title":{"rendered":"5th cash reading group"},"content":{"rendered":"<p><strong>5th edition of CASH paper presentation<\/strong><br \/>\n<strong>March 6 at 9:30<\/strong><br \/>\n<strong>Salle 316<\/strong><\/p>\n<p><strong>Program:<\/strong><\/p>\n<ul>\n<li>Julien Braine presents:<br \/>\n<a href=\"http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.19.407&amp;rep=rep1&amp;type=pdf\">Counterexample-guided Abstraction Refinement<\/a> de Edmund Clarke\u0001, Orna Grumberg\u0002, Somesh Jha\u0001, Yuan Lu\u0001, et Helmut Veith.<br \/>\nCAV 2000<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>5th edition of CASH paper presentation March 6 at 9:30 Salle 316 Program: Julien Braine presents: Counterexample-guided Abstraction Refinement de Edmund Clarke\u0001, Orna Grumberg\u0002, Somesh Jha\u0001, Yuan Lu\u0001, et Helmut Veith. CAV 2000<\/p>\n","protected":false},"author":5,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6],"tags":[],"class_list":["post-317","post","type-post","status-publish","format-standard","hentry","category-paper-presentation"],"_links":{"self":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=\/wp\/v2\/posts\/317","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=317"}],"version-history":[{"count":3,"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=\/wp\/v2\/posts\/317\/revisions"}],"predecessor-version":[{"id":323,"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=\/wp\/v2\/posts\/317\/revisions\/323"}],"wp:attachment":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=317"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=317"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=317"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}