{"id":620,"date":"2014-09-01T20:17:01","date_gmt":"2014-09-01T23:17:01","guid":{"rendered":"http:\/\/infinis.dc.uba.ar\/?p=620"},"modified":"2014-09-01T20:17:01","modified_gmt":"2014-09-01T23:17:01","slug":"course-on-coq-eci-2014","status":"publish","type":"post","link":"http:\/\/www.irp-sinfin.org\/?p=620","title":{"rendered":"Course on Coq &#8212; ECI 2014 &#8212; Jul\/2014"},"content":{"rendered":"<p><!--:en-->Beta Ziliani gave an introductory course on Coq in the anual winter school <a title=\"ECI 2014\" href=\"http:\/\/www.dc.uba.ar\/events\/eci\/2014\/\">ECI 2014<\/a>. For more information please click <a title=\"Course on Coq\" href=\"http:\/\/www.dc.uba.ar\/events\/eci\/2014\/cursos\/ziliani\">here<\/a>.<!--:--><!--:fr-->Beta Ziliani gave an introductory course on Coq in the anual winter school <a href=\"http:\/\/www.dc.uba.ar\/events\/eci\/2014\/\" title=\"ECI 2014\">ECI 2014<\/a>. For more information please click <a href=\"http:\/\/www.dc.uba.ar\/events\/eci\/2014\/cursos\/ziliani\" title=\"Course on Coq\">here<\/a>.<!--:--><!--:es-->Beta Ziliani gave an introductory course on Coq in the anual winter school <a href=\"http:\/\/www.dc.uba.ar\/events\/eci\/2014\/\" title=\"ECI 2014\">ECI 2014<\/a>. For more information please click <a href=\"http:\/\/www.dc.uba.ar\/events\/eci\/2014\/cursos\/ziliani\" title=\"Course on Coq\">here<\/a>.<!--:--><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Beta Ziliani gave an introductory course on Coq in the anual winter school ECI 2014. For more information please click here.Beta Ziliani gave an introductory course on Coq in the anual winter school ECI 2014. For more information please click here.Beta Ziliani gave an introductory course on Coq in the anual winter school ECI 2014. &hellip; <a href=\"http:\/\/www.irp-sinfin.org\/?p=620\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Course on Coq &#8212; ECI 2014 &#8212; Jul\/2014<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[5,2],"tags":[],"class_list":["post-620","post","type-post","status-publish","format-standard","hentry","category-events","category-news"],"_links":{"self":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/620","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=620"}],"version-history":[{"count":0,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/620\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=620"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=620"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=620"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}