{"id":189,"date":"2019-05-18T18:05:16","date_gmt":"2019-05-18T22:05:16","guid":{"rendered":"http:\/\/www.podc.org\/podc2019\/?page_id=189"},"modified":"2021-10-29T10:40:36","modified_gmt":"2021-10-29T14:40:36","slug":"workshops-and-tutorials","status":"publish","type":"page","link":"https:\/\/www.podc.org\/podc2019\/workshops-and-tutorials\/","title":{"rendered":"Workshops and Tutorials"},"content":{"rendered":"\n<h5 style=\"text-align: center\" data-tadv-p=\"keep\"><span style=\"text-decoration: underline\"><span style=\"background-color: #ffffff;color: #ff0000\"><a style=\"color: #ff0000;text-decoration: underline;background-color: #ffffff\" href=\"http:\/\/www.podc.org\/wordpress\/wp-content\/uploads\/2019\/07\/PODC-Timetable.pdf\">Download Schedule PDF<\/a><\/span><\/span><\/h5>\n\n\n\n<h2 class=\"wp-block-heading\" style=\"text-align:center\">Monday, July 29, 2019<\/h2>\n\n\n\n<ul>\n<li data-tadv-p=\"keep\">Workshop\n<ul>\n<li data-tadv-p=\"keep\"><em><a href=\"https:\/\/snl.salk.edu\/~navlakha\/BDA2019\/\">BDA: Biological Distributed Algorithms<\/a><\/em><\/li>\n<\/ul>\n<\/li>\n<li>Tutorials\n<ul>\n<li><span style=\"text-decoration: underline\">Tutorial 1 &#8211; 9:00am<\/span> &nbsp;<a href=\"https:\/\/www.podc.org\/podc2019\/workshops-and-tutorials\/tutorial-descriptions\/#TutDistributedConsensus\"><em>From Classical to Blockchain Consensus: What are the Exact Algorithms?<\/em><\/a>&nbsp;<\/li>\n<li><span style=\"text-decoration: underline\">Tutorial 2 &#8211; 2:00pm<\/span>&nbsp; <a href=\"https:\/\/www.podc.org\/podc2019\/workshops-and-tutorials\/tutorial-descriptions\/#TutInterchain\"><em>Byzantine Fault Tolerant State Machine Replication in Any Programming Language<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\" style=\"text-align:center\">Friday, August 2, 2019<\/h2>\n\n\n\n<ul>\n<li data-tadv-p=\"keep\">Workshop\n<ul>\n<li data-tadv-p=\"keep\"><em><a href=\"http:\/\/sps.cse.msstate.edu\">SPS: Security of Permissionless Systems<\/a><\/em><\/li>\n<\/ul>\n<\/li>\n<li>Tutorials\n<ul>\n<li><span style=\"text-decoration: underline\">Tutorial 3 &#8211; 2:00pm<\/span>\u00a0<a href=\"https:\/\/www.podc.org\/podc2019\/tutorial-descriptions\/#TutSDN\"><em>Central Control over Distributed Asynchronous Systems: A Tutorial on Software-Defined Networks and Consistent Network Updates<\/em><\/a>\u00a0<br \/><span style=\"text-decoration: underline\"><span style=\"color: #ff6600;text-decoration: underline\"><a style=\"font-size: inherit;color: #ff6600;text-decoration: underline\" href=\"http:\/\/ktfoerster.github.io\/slides\/2019-podc.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Presentation slides available here<\/a><\/span><\/span><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li style=\"list-style-type: none\">\n<ul>\n<li><span style=\"text-decoration: underline\">Tutorial 4 &#8211; 2:00pm<\/span>\u00a0<a href=\"https:\/\/www.podc.org\/podc2019\/tutorial-descriptions\/#TutPersistent\"><em>Specifying, Implementing, and Verifying Algorithms for Persistent Memory<\/em><\/a><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\" style=\"text-align:center\">Schedule<\/h2>\n\n\n\n<table class=\"wp-block-table\" style=\"border: 1px solid black;margin-bottom:0px\">\n<tbody>\n\n<tr style=\"background-color: black;color: white\"><td style=\"width:100px\"><\/td><td colspan=\"2\" style=\"text-align:center\">Monday, July 29<\/td><\/tr>\n\n<tr><td style=\"background-color: black;color: white;vertical-align:middle;padding-top:25px;padding-bottom:25px;text-align:center\">AM<\/td><td rowspan=\"2\" style=\"vertical-align:middle;padding-top:50px;padding-bottom:50px;text-align:center\"><a href=\"https:\/\/snl.salk.edu\/~navlakha\/BDA2019\/\">BDA<br>Workshop<\/a><\/td><td style=\"vertical-align:middle;text-align:center\"><a href=\"https:\/\/www.podc.org\/podc2019\/workshops-and-tutorials\/tutorial-descriptions\/#TutDistributedConsensus\">Tutorial 1<\/a><\/td><\/tr>\n\n<tr><td style=\"background-color: black;color: white;vertical-align:middle;padding-top:25px;padding-bottom:25px;text-align:center\">PM<\/td><td style=\"vertical-align:middle;vertical-align:middle;text-align:center\"><a href=\"https:\/\/www.podc.org\/podc2019\/workshops-and-tutorials\/tutorial-descriptions\/#TutInterchain\">Tutorial 2<\/a><\/td><\/tr>\n\n<\/tbody><\/table>\n\n<table class=\"wp-block-table\" style=\"border: 1px solid black;margin-top:0px\">\n<tbody>\n\n<tr style=\"background-color: black;color: white\"><td style=\"width:100px\"><\/td><td colspan=\"3\" style=\"text-align:center\">Friday, August 2<\/td><\/tr>\n\n<tr><td style=\"background-color: black;color: white;vertical-align:middle;padding-top:25px;padding-bottom:25px;text-align:center\">AM<\/td><td colspan=\"2\" style=\"vertical-align:middle;text-align:center\">PODC Sessions<\/td><td rowspan=\"2\" style=\"vertical-align:middle;text-align:center\"><a href=\"http:\/\/sps.cse.msstate.edu\">SPS<br>Workshop<\/a><\/td><\/tr>\n\n<tr><td style=\"background-color: black;color: white;vertical-align:middle;padding-top:25px;padding-bottom:25px;text-align:center\">PM<\/td><td style=\"vertical-align:middle;text-align:center\"><a href=\"https:\/\/www.podc.org\/podc2019\/tutorial-descriptions\/#TutSDN\">Tutorial 3<\/a><\/td><td style=\"vertical-align:middle;text-align:center\"><a href=\"https:\/\/www.podc.org\/podc2019\/tutorial-descriptions\/#TutPersistent\">Tutorial 4<\/a><\/td><\/tr>\n\n<\/tbody><\/table>\n","protected":false},"excerpt":{"rendered":"<p>Download Schedule PDF Monday, July 29, 2019 Workshop BDA: Biological Distributed Algorithms Tutorials Tutorial 1 &#8211; 9:00am &nbsp;From Classical to Blockchain Consensus: What are the Exact Algorithms?&nbsp; Tutorial 2 &#8211; 2:00pm&nbsp; Byzantine Fault Tolerant State Machine Replication in Any Programming Language Friday, August 2, 2019 Workshop SPS: Security of Permissionless Systems Tutorials Tutorial 3 &#8211; &hellip; <a href=\"https:\/\/www.podc.org\/podc2019\/workshops-and-tutorials\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Workshops and Tutorials&#8221;<\/span><\/a><\/p>\n","protected":false},"author":13,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-189","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.podc.org\/podc2019\/wp-json\/wp\/v2\/pages\/189","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.podc.org\/podc2019\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.podc.org\/podc2019\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.podc.org\/podc2019\/wp-json\/wp\/v2\/users\/13"}],"replies":[{"embeddable":true,"href":"https:\/\/www.podc.org\/podc2019\/wp-json\/wp\/v2\/comments?post=189"}],"version-history":[{"count":35,"href":"https:\/\/www.podc.org\/podc2019\/wp-json\/wp\/v2\/pages\/189\/revisions"}],"predecessor-version":[{"id":350,"href":"https:\/\/www.podc.org\/podc2019\/wp-json\/wp\/v2\/pages\/189\/revisions\/350"}],"wp:attachment":[{"href":"https:\/\/www.podc.org\/podc2019\/wp-json\/wp\/v2\/media?parent=189"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}