{"id":86,"date":"2014-03-10T13:28:49","date_gmt":"2014-03-10T13:28:49","guid":{"rendered":"http:\/\/www.disc-conference.org\/wp\/disc2014\/?page_id=86"},"modified":"2023-10-04T13:26:13","modified_gmt":"2023-10-04T13:26:13","slug":"workshops","status":"publish","type":"page","link":"https:\/\/www.disc-conference.org\/wp\/disc2023\/workshops\/","title":{"rendered":"Workshops"},"content":{"rendered":"\n<h1 class=\"wp-block-heading\">Monday 9th October 2023<\/h1>\n\n\n\n<h2 class=\"wp-block-heading\"><a rel=\"noreferrer noopener\" href=\"http:\/\/adga.hiit.fi\/2023\/\" target=\"_blank\">ADGA: Workshop on Advances in Distributed Graph Algorithms<\/a><\/h2>\n\n\n\n<p>Chair: Laurent Feuilloley<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>09.00 &#8211; 10.00: Fabian Kuhn, TBA<\/li>\n\n\n\n<li>10.00 &#8211; 11.00: Alexandre Nolin, Pseudorandomness: some distributed applications<\/li>\n\n\n\n<li>11.00 &#8211; 11.20: Coffee Break<\/li>\n\n\n\n<li>11.20 &#8211; 12.20: Joel Rybicki, TBA<\/li>\n\n\n\n<li>12.20 &#8211; 14.00: Lunch<\/li>\n\n\n\n<li>14.00 &#8211; 15.00: Eva Rotenberg, How to Colour a Changing Sparse Graph<\/li>\n\n\n\n<li>15.00 &#8211; 16.00: Ami Paz, Beyond Worst-Case Analysis of Dynamic Networks<\/li>\n\n\n\n<li>16.00 &#8211; 16.30: Coffee Break<\/li>\n\n\n\n<li>16.30 &#8211; 17.30: Jara Uitto, Symmetry Breaking in Massive Graphs<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\"><a rel=\"noreferrer noopener\" href=\"https:\/\/frida-2023.github.io\/\" target=\"_blank\">FRIDA: The 10th Workshop on Formal Reasoning in Distributed Algorithms<\/a><\/h2>\n\n\n\n<p>Chairs: Stephan Merz, Marijana Lazic<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>09:00 &#8211; 9:45: Hagit Attiya, Faithful Simulation of Randomized BFT Protocols on Block DAGs<\/li>\n\n\n\n<li>09:45 &#8211; 10:30: Gadi Taubenfeld, Reaching Consensus in Weak Models <\/li>\n\n\n\n<li>10:30 &#8211; 10:50: Coffee Break<\/li>\n\n\n\n<li>10:50 &#8211; 11:35: Alexey Gotsman, Synchronizer &#8211; a recipe for building correct algorithms under partial synchrony<\/li>\n\n\n\n<li>11:35 &#8211; 12:20: Karine Altisen, PADEC &#8211; Interactive Proof for Self-Stabilizing Algorithms<\/li>\n\n\n\n<li>12:20 &#8211; 14:00: Lunch Break<\/li>\n\n\n\n<li>14:00 &#8211; 14:45: Manuel Bravo, Formal modeling at Informal Systems<\/li>\n\n\n\n<li>14:45 &#8211; 15:30: Rotem Oshman, Distributed Certification<\/li>\n\n\n\n<li>15:30 &#8211; 16:00: Coffee Break<\/li>\n\n\n\n<li>16:00 &#8211; 16:30: Louis Penet de Monterno, Formal Verification of a Firing Algorithm<\/li>\n\n\n\n<li>16:30 &#8211; 17:15: Ali Ebnenasir, Topology and Property-Specific Verification and Synthesis of Parameterized Distributed Protocols<\/li>\n\n\n\n<li>17:15 &#8211; 18:00: Pierre Fraigniaud, TBA<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\"><a rel=\"noreferrer noopener\" href=\"https:\/\/sites.google.com\/view\/wand2023\/home\" target=\"_blank\">WAND: Workshop on Analysis of Network Dynamics<\/a><\/h2>\n\n\n\n<p>Chairs: Isabella Ziccardi, Emilio Cruciani, Francesco d&#8217;Amore<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>09:30 &#8211; 10:15: Stefano Leucci<\/li>\n\n\n\n<li>10:15 &#8211; 10:45: Coffee Break<\/li>\n\n\n\n<li>10:45 &#8211; 11:30: Dimitrios Los<\/li>\n\n\n\n<li>11:30 &#8211; 12.15: Robert Els\u00e4sser<\/li>\n\n\n\n<li>12:15 &#8211; 14:00: Lunch<\/li>\n\n\n\n<li>14:00 &#8211; 14:45: Luca Becchetti<\/li>\n\n\n\n<li>14:45 &#8211; 15:30: Frederik Mallmann-Trenn<\/li>\n\n\n\n<li>15:30 &#8211; 16:00: Coffee Break<\/li>\n\n\n\n<li>16:00 &#8211; 16:45: Robin Vacus<\/li>\n<\/ul>\n\n\n\n<h1 class=\"wp-block-heading\">Friday 13th October 2023<\/h1>\n\n\n\n<h2 class=\"wp-block-heading\"><a rel=\"noreferrer noopener\" href=\"https:\/\/users.aalto.fi\/~uittoj3\/AMG2023\/\" target=\"_blank\">AMG: Algorithms for Massive Graphs<\/a><\/h2>\n\n\n\n<p>Chair: Jara Uitto<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>10:00 &#8211; 11:00: Gopinath Mishra, On Coloring problems in MPC and Congested Clique<\/li>\n\n\n\n<li>11:00 &#8211; 11:20: Coffee Break<\/li>\n\n\n\n<li>11:20 &#8211; 12:20: Peter Robinson, Distributed Graph Algorithms in the Vertex-Partition Model<\/li>\n\n\n\n<li>12:20 &#8211; 14:00: Lunch<\/li>\n\n\n\n<li>14:00 &#8211; 15:00: Talya Eden, Sampling an Edge in Sublinear Time Exactly and Optimally<\/li>\n\n\n\n<li>15:00 &#8211; 16:00: Jukka Suomela, Low-degree graphs, sparse matrices, and low-bandwidth networks<\/li>\n\n\n\n<li>16.00 &#8211; 16.30: Coffee Break<\/li>\n<\/ul>\n\n\n\n<ul class=\"wp-block-list\">\n<li><\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\"><a rel=\"noreferrer noopener\" href=\"https:\/\/sites.google.com\/view\/hacda-workshop\/home\" target=\"_blank\">HACDA: Highlights of Asynchronous Concurrent and Distributed Algorithms<\/a><\/h2>\n\n\n\n<p>Chair: Naama Ben-David<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>09:00 &#8211; 10:00: Hagit Attiya<\/li>\n\n\n\n<li>10:00 &#8211; 11:00: Siddhartha Jayanti<\/li>\n\n\n\n<li>11:00 &#8211; 11:30: Coffee Break<\/li>\n\n\n\n<li>11:30 &#8211; 12:30: Michal Friedman<\/li>\n\n\n\n<li>12:30 &#8211; 14:00: Lunch<\/li>\n\n\n\n<li>14:00 &#8211; 15:00: Pierre Civit<\/li>\n\n\n\n<li>15:00 &#8211; 16:00: Rati Gelashvili<\/li>\n\n\n\n<li>16:00 &#8211; 16:30: Coffee Break<\/li>\n\n\n\n<li>16:30 &#8211; 17:00: Discussion Time and Closing Remarks<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\"><a rel=\"noreferrer noopener\" href=\"https:\/\/dcl.epfl.ch\/site\/disc2023\" target=\"_blank\">PODL: Workshop on Principles of Distributed Learning &amp; Tutorial on Distributed Machine Learning<\/a><\/h2>\n\n\n\n<p>Chairs: Nirupam Gupta, Rafael Pinot, Rachid Guerraoui<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>09:00 &#8211; 09:10: Opening remarks<\/li>\n\n\n\n<li>09:10 &#8211; 10.30: Rafael Pinot, Tutorial Part &#8211; I: Introduction to Robust Machine-Learning<\/li>\n\n\n\n<li>10:30 &#8211; 11:00: Coffee Break<\/li>\n\n\n\n<li>11.00 &#8211; 12.20: Nirupam Gupta, Tutorial Part &#8211; II: Robust ML with Privacy Constraints<\/li>\n\n\n\n<li>12.20 &#8211; 14.00: Lunch<\/li>\n\n\n\n<li>14.00 &#8211; 14.30: Noa Schiller, Distributed SGD in the Presence of System Partitions<\/li>\n\n\n\n<li>14.30 &#8211; 15.00: Marco Canini, Why Federated Learning isn\u2019t like PAPER?<\/li>\n\n\n\n<li>15.00 &#8211; 15.30: Ce Zhang, Optimizing Communications and Data for Distributed and Decentralized Learning<\/li>\n\n\n\n<li>15.30 &#8211; 16.00: Coffee Break<\/li>\n\n\n\n<li>16.00 &#8211; 16.30: Lili Su, A Non-parametric View of FedAvg and FedProx: Beyond Stationary Points<\/li>\n\n\n\n<li>16.30 &#8211; 17.00: Alberto Pedrouzo Ulloa, Practical Multi-Key Homomorphic Encryption for Federated Average Aggregation<\/li>\n\n\n\n<li>17.00 &#8211; 17.30: Closing remarks<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Monday 9th October 2023 ADGA: Workshop on Advances in Distributed Graph Algorithms Chair: Laurent Feuilloley FRIDA: The 10th Workshop on Formal Reasoning in Distributed Algorithms Chairs: Stephan Merz, Marijana Lazic WAND: Workshop on Analysis of Network Dynamics Chairs: Isabella Ziccardi, &hellip; <a href=\"https:\/\/www.disc-conference.org\/wp\/disc2023\/workshops\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":30,"featured_media":0,"parent":0,"menu_order":20,"comment_status":"closed","ping_status":"closed","template":"sidebar-page.php","meta":{"footnotes":""},"class_list":["post-86","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.disc-conference.org\/wp\/disc2023\/wp-json\/wp\/v2\/pages\/86","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.disc-conference.org\/wp\/disc2023\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.disc-conference.org\/wp\/disc2023\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.disc-conference.org\/wp\/disc2023\/wp-json\/wp\/v2\/users\/30"}],"replies":[{"embeddable":true,"href":"https:\/\/www.disc-conference.org\/wp\/disc2023\/wp-json\/wp\/v2\/comments?post=86"}],"version-history":[{"count":25,"href":"https:\/\/www.disc-conference.org\/wp\/disc2023\/wp-json\/wp\/v2\/pages\/86\/revisions"}],"predecessor-version":[{"id":3882,"href":"https:\/\/www.disc-conference.org\/wp\/disc2023\/wp-json\/wp\/v2\/pages\/86\/revisions\/3882"}],"wp:attachment":[{"href":"https:\/\/www.disc-conference.org\/wp\/disc2023\/wp-json\/wp\/v2\/media?parent=86"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}