{"id":46,"date":"2019-12-19T11:30:41","date_gmt":"2019-12-19T11:30:41","guid":{"rendered":"https:\/\/wp.software.imdea.org\/tezos\/?page_id=46"},"modified":"2020-01-28T08:45:51","modified_gmt":"2020-01-28T08:45:51","slug":"events","status":"publish","type":"page","link":"https:\/\/wp.software.imdea.org\/tezos\/events\/","title":{"rendered":"Events"},"content":{"rendered":"\n<p class=\"has-large-font-size\"><em>The <a href=\"https:\/\/software.imdea.org\">IMDEA Software Institute<\/a>  organized the first &#8220;<strong>IMDEA Software &#8211; Tezos Blockchain Workshop<\/strong>&#8221; that took place in Spain, the <strong>16th of January, 2020<\/strong>. <\/em><\/p>\n\n\n\n<figure class=\"wp-block-image size-large is-resized\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/wp.software.imdea.org\/tezos\/wp-content\/uploads\/sites\/3\/2020\/01\/Screenshot-2020-01-09-at-17.20.04.png\" alt=\"\" class=\"wp-image-101\" width=\"716\" height=\"490\" \/><\/figure>\n\n\n\n<p>A scientific event that counted with many <strong>top class researchers<\/strong> and <strong>blockchain experts<\/strong> to discuss about the utility of <strong>Tezos technology<\/strong>. <\/p>\n\n\n\n<figure class=\"wp-block-embed-youtube wp-block-embed is-type-video is-provider-youtube wp-embed-aspect-16-9 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n<iframe loading=\"lazy\" title=\"IMDEA Software \u2013 Tezos Blockchain Workshop summary\" width=\"900\" height=\"506\" src=\"https:\/\/www.youtube.com\/embed\/NlviP84C-7U?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe>\n<\/div><\/figure>\n\n\n\n\n\n<hr class=\"wp-block-separator\" \/>\n\n\n\n<h2 class=\"has-text-color wp-block-heading\" style=\"color:#00b7bd\">Agenda<\/h2>\n\n\n\n<p><strong>10:00 &#8211; 10:30    Introduction<\/strong><\/p>\n\n\n\n<p>      <em>Manuel Carro, Director of the IMDEA Software Institute.<\/em><\/p>\n\n\n\n<p>      <em>Michel Mauny, Chief Scientific Officer at Nomadic Labs.&nbsp;<\/em><\/p>\n\n\n\n<h6 class=\"has-text-color wp-block-heading\" style=\"color:#00b7bd\">Consensus<\/h6>\n\n\n\n<p><strong>10:30 &#8211; 11:00&nbsp;   The State of Consensus<\/strong><\/p>\n\n\n\n<p>     <em>Awa Sun Yin, Founder at Cryptium Labs.<\/em><\/p>\n\n\n\n<p><strong>11:00 &#8211; 11:30&nbsp;   Making BFT consensus live<\/strong><\/p>\n\n\n\n<p>     <em>Alexey Gotsman, IMDEA Software Institute.<\/em><\/p>\n\n\n\n<p><strong>11:30 &#8211; 12:00    Coffee break<\/strong> \u2615<\/p>\n\n\n\n<h6 class=\"has-text-color wp-block-heading\" style=\"color:#00b7bd\">Verification<\/h6>\n\n\n\n<p><strong>12:00 &#8211; 12:30  <em>&nbsp;<\/em>Verifying Tezos Smart Contracts and Codebase at Nomadic Labs<\/strong><\/p>\n\n\n\n<p>     <em>Bruno Bernardo, Nomadic Labs.<\/em><\/p>\n\n\n\n<p><strong>12:30 &#8211; 13:00&nbsp;   Type and Proof Structures for Concurrency<\/strong><\/p>\n\n\n\n<p>   <em>  Aleksander Nanevski, IMDEA Software Institute.<\/em><\/p>\n\n\n\n<p><strong>13:00 &#8211; 14:15    Lunch \ud83c\udf7d\ufe0f&nbsp;<\/strong><\/p>\n\n\n\n<h6 class=\"has-text-color wp-block-heading\" style=\"color:#00b7bd\">Security and privacy<\/h6>\n\n\n\n<p><strong>14:15 &#8211; 14:45&nbsp;   Present and Future of Privacy in Tezos<\/strong><\/p>\n\n\n\n<p>  <em>   Marc Beunardeau, Nomadic Labs.<\/em><\/p>\n\n\n\n<p><strong>14:45 &#8211; 15:15&nbsp;   zkSNARKs: who, what, and\u2026blockchains!<\/strong><\/p>\n\n\n\n<p>   <em>  Dario Fiore, IMDEA Software Institute.<\/em><\/p>\n\n\n\n<h6 class=\"has-text-color wp-block-heading\" style=\"color:#00b7bd\">Resource Consumption and Performance<\/h6>\n\n\n\n<p><strong>15:15 &#8211; 15:35&nbsp;   Resource Usage Analysis, Verification, and Optimization<\/strong><\/p>\n\n\n\n<p>     <em>Manuel Hermenegildo, IMDEA Software Institute.<\/em><\/p>\n\n\n\n<p><strong>15:35 &#8211; 15:55&nbsp;   StreamChain: Towards Sub-Millisecond Processing in Blockchains<\/strong><\/p>\n\n\n\n<p>     <em>Zsolt Istv\u00e1n, IMDEA Software Institute.<\/em><\/p>\n\n\n\n<p><strong>15:55 &#8211; 16:00    Wrap up<\/strong><\/p>\n\n\n\n<p><strong>16:00 &#8211; \u2026    Time for informal discussions, breakout sessions&nbsp;<\/strong><\/p>\n\n\n\n<p><strong>Coffee break<\/strong> \u2615<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The IMDEA Software Institute organized the first &#8220;IMDEA Software &#8211; Tezos Blockchain Workshop&#8221; that took place in Spain, the 16th of January, 2020. A scientific event that counted with many top class researchers and blockchain experts to discuss about the utility of Tezos technology. Agenda 10:00 &#8211; 10:30 Introduction Manuel Carro, Director of the IMDEA<a class=\"more-link\" href=\"https:\/\/wp.software.imdea.org\/tezos\/events\/\">Continue reading <span class=\"screen-reader-text\">&#8220;Events&#8221;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_coblocks_attr":"","_coblocks_dimensions":"","_coblocks_responsive_height":"","_coblocks_accordion_ie_support":"","ngg_post_thumbnail":0,"footnotes":""},"class_list":["post-46","page","type-page","status-publish","hentry","entry"],"_links":{"self":[{"href":"https:\/\/wp.software.imdea.org\/tezos\/wp-json\/wp\/v2\/pages\/46","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.software.imdea.org\/tezos\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wp.software.imdea.org\/tezos\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wp.software.imdea.org\/tezos\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.software.imdea.org\/tezos\/wp-json\/wp\/v2\/comments?post=46"}],"version-history":[{"count":20,"href":"https:\/\/wp.software.imdea.org\/tezos\/wp-json\/wp\/v2\/pages\/46\/revisions"}],"predecessor-version":[{"id":121,"href":"https:\/\/wp.software.imdea.org\/tezos\/wp-json\/wp\/v2\/pages\/46\/revisions\/121"}],"wp:attachment":[{"href":"https:\/\/wp.software.imdea.org\/tezos\/wp-json\/wp\/v2\/media?parent=46"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}