{"id":622,"date":"2014-09-01T20:20:26","date_gmt":"2014-09-01T23:20:26","guid":{"rendered":"http:\/\/infinis.dc.uba.ar\/?p=622"},"modified":"2014-09-01T20:20:26","modified_gmt":"2014-09-01T23:20:26","slug":"balabonski-u-orsay-visits-uba-unq-august-2014","status":"publish","type":"post","link":"http:\/\/www.irp-sinfin.org\/?p=622","title":{"rendered":"Balabonski (U. Orsay) visits UBA, UNQ &#8212; Aug\/2014"},"content":{"rendered":"<p><!--:en-->Thibaut Balabonski visitied the rewriting and lambda calculus research group from 13\/Aug to 24\/Aug and interacted with numerous reserachers. He also gave a <a title=\"Thibaut's talk\" href=\"https:\/\/sites.google.com\/site\/lorellabs\/seminar\">talk<\/a> at the UNQ whose title was <strong>Semantic Proofs of Correctness For Low-level Concurrent Program Optimisations<\/strong>.<!--:--><!--:fr-->Thibaut Balabonski visitied the rewriting and lambda calculus research group from 13\/Aug to 24\/Aug and interacted with numerous reserachers. He also gave a\u00a0<a title=\"Thibaut's talk\" href=\"https:\/\/sites.google.com\/site\/lorellabs\/seminar\">talk<\/a>\u00a0at the UNQ whose title was\u00a0<strong>Semantic Proofs of Correctness For Low-level Concurrent Program Optimisations<\/strong>.<!--:--><!--:es-->Thibaut Balabonski visitied the rewriting and lambda calculus research group from 13\/Aug to 24\/Aug and interacted with numerous reserachers. He also gave a\u00a0<a title=\"Thibaut's talk\" href=\"https:\/\/sites.google.com\/site\/lorellabs\/seminar\">talk<\/a>\u00a0at the UNQ whose title was\u00a0<strong>Semantic Proofs of Correctness For Low-level Concurrent Program Optimisations<\/strong>.<!--:--><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Thibaut Balabonski visitied the rewriting and lambda calculus research group from 13\/Aug to 24\/Aug and interacted with numerous reserachers. He also gave a talk at the UNQ whose title was Semantic Proofs of Correctness For Low-level Concurrent Program Optimisations.Thibaut Balabonski visitied the rewriting and lambda calculus research group from 13\/Aug to 24\/Aug and interacted with &hellip; <a href=\"http:\/\/www.irp-sinfin.org\/?p=622\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Balabonski (U. Orsay) visits UBA, UNQ &#8212; Aug\/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":[1],"tags":[],"class_list":["post-622","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/622","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=622"}],"version-history":[{"count":0,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/622\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=622"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=622"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=622"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}