{"id":2077,"date":"2019-06-01T10:34:19","date_gmt":"2019-06-01T08:34:19","guid":{"rendered":"http:\/\/synasc.ro\/2019\/?page_id=2077"},"modified":"2019-08-07T16:29:03","modified_gmt":"2019-08-07T14:29:03","slug":"peter-csaba-olveczky","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2019\/invited-speakers-2\/peter-csaba-olveczky\/","title":{"rendered":"Peter Csaba Olveczky"},"content":{"rendered":"<h2 style=\"text-align: center;\"><a href=\"http:\/\/folk.uio.no\/peterol\/\"><strong>Peter Csaba \u00d6lveczky<\/strong><\/a><\/h2>\n<h2 style=\"text-align: center;\">University of Oslo, Norway<strong>\u00a0<\/strong><\/h2>\n<p style=\"text-align: center;\">(invited speaker at the joint event <a href=\"http:\/\/from2019.projects.uvt.ro\/invited-speakers\/\">FROM 2019 &#8211; Working Formal Methods Symposium<\/a>)<\/p>\n<p style=\"text-align: center;\"><em>Title:\u00a0\u00a0<\/em><strong><em>The use of Maude and PVeStA on cloud computer storage systems <\/em><\/strong><\/p>\n<p>The talk covers the formal modeling and various kinds of analyses of cloud storage systems including Google\u2019s Megastore, Facebook\u2019s Cassandra, and would touch on the well-known work at Amazon Web Services.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Peter Csaba \u00d6lveczky University of Oslo, Norway\u00a0 (invited speaker at the joint event FROM 2019 &#8211; Working Formal Methods Symposium) Title:\u00a0\u00a0The use of Maude and PVeStA on cloud computer storage systems The talk covers the formal modeling and various kinds of analyses of cloud storage systems including Google\u2019s Megastore, Facebook\u2019s Cassandra, and would touch on [&hellip;]<\/p>\n","protected":false},"author":8,"featured_media":0,"parent":613,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-2077","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/pages\/2077","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/users\/8"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/comments?post=2077"}],"version-history":[{"count":3,"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/pages\/2077\/revisions"}],"predecessor-version":[{"id":2124,"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/pages\/2077\/revisions\/2124"}],"up":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/pages\/613"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/media?parent=2077"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}