{"id":289,"date":"2019-02-24T11:21:48","date_gmt":"2019-02-24T10:21:48","guid":{"rendered":"https:\/\/wp-systeme.lip6.fr\/estate\/?page_id=289"},"modified":"2019-11-13T17:40:22","modified_gmt":"2019-11-13T16:40:22","slug":"meeting-3","status":"publish","type":"page","link":"https:\/\/wp-systeme.lip6.fr\/estate\/meeting-3\/","title":{"rendered":"Workshop ANR DESCARTES\/ESTATE"},"content":{"rendered":"<p>in conjonction with <a href=\"https:\/\/www.irif.fr\/gt-coa\/workshop2019\">Workshop\u00a0 Complexit\u00e9 et Algorithmes (GT CoA\/GDR CNRS IM)<\/a><\/p>\n<h3>Roscoff Apr. 1st&#8211;2nd, 2019<\/h3>\n<h3>Detailed Program<\/h3>\n<p>(also available on the website of <a href=\"http:\/\/dept-info.labri.fr\/~gavoille\/descartes\/meeting_roscoff_avr2019.html\">Descartes<\/a>)<\/p>\n<h5>Monday, April 1st, 2019<\/h5>\n<ul>\n<li><strong>[14:00-15:40]<\/strong> Private meetings DESCARTES \/ ESTATE : Opening, discussions, and informations [Cyril Gavoille \/ Franck Petit]<\/li>\n<li><span style=\"color: #808080\"><strong>[15:40-16:00]<\/strong> Coffee break<\/span><\/li>\n<li><strong>[16:15-16:45]<\/strong> Colette Johnen: <em>Soyez Efficace, Rembobinez<\/em> (<a href=\"https:\/\/wp-systeme.lip6.fr\/estate\/work\/#Colette\">Abstract<\/a>)<\/li>\n<li><strong>[16:45-17:15]<\/strong> S\u00e9bastien Bouchard: <em>Deterministic Treasure Hunt in the Plane with Angular Hints<\/em> (<a href=\"https:\/\/wp-systeme.lip6.fr\/estate\/work\/#Seb-T\">Abstract<\/a>)<\/li>\n<li><strong>[17:15-17:45]<\/strong> Ana\u00efs Durand: <em>Contention-related crash failures<\/em> (<a href=\"https:\/\/wp-systeme.lip6.fr\/estate\/work\/#Anais\">Abstract<\/a>)<\/li>\n<\/ul>\n<h5>Tuesday, April 2nd, 2019<\/h5>\n<ul>\n<li><strong>[9:00-9:30]<\/strong> Laurent Feuilloley: <em>Local verification of global proofs<\/em> (<a href=\"https:\/\/wp-systeme.lip6.fr\/estate\/work\/#Laurent\">Abstract<\/a>)<\/li>\n<li><strong>[9:30-10:00]<\/strong> Lionel Rieg: <em>Formal proofs on Mobile Robots Swarms<\/em> (<a href=\"https:\/\/wp-systeme.lip6.fr\/estate\/work\/#Lionel\">Abstract<\/a>)<\/li>\n<li><strong>[10:00-10:40]<\/strong> Sergio Rajsbaum: <em>Anonymous Shared-Memory Computability<\/em> (<a href=\"https:\/\/wp-systeme.lip6.fr\/estate\/work\/#Sergio\">Abstract<\/a>)<\/li>\n<li><span style=\"color: #808080\"><strong>[10:40-11:00]<\/strong> Coffee break<\/span><\/li>\n<li><strong>[11:15-11:45]<\/strong> S\u00e9bastien Bouchard: <em>Byzantine Gathering in Polynomial Time<\/em> (<a href=\"https:\/\/wp-systeme.lip6.fr\/estate\/work\/#Seb-Byz\">Abstract<\/a>)<\/li>\n<li><strong>[11:45-12:15]<\/strong> Alessia Milani:\u00a0<em>On restricted-use objects and beyond<\/em> (<a href=\"https:\/\/wp-systeme.lip6.fr\/estate\/work\/#Alessia\">Abstract<\/a>)<\/li>\n<li><span style=\"color: #808080\"><strong>[12:15-14:00]<\/strong> Lunch<\/span><\/li>\n<li><strong>[14:00-14:30] <\/strong>Michel Raynal: <em>Plus faible d\u00e9tecteur de d\u00e9faillances pour l\u2019exclusion mutuelle en m\u00e9moire partag\u00e9e<\/em> (<a href=\"https:\/\/wp-systeme.lip6.fr\/estate\/work\/#Michel\">Abstract<\/a>)<\/li>\n<li><strong>[14:30-15:00]<\/strong> St\u00e9phane Devismes:\u00a0<em>Acyclic Strategy for Silent Self-Stabilization in Spanning Forests<\/em> (<a href=\"https:\/\/wp-systeme.lip6.fr\/estate\/work\/#Stephe\">Abstract<\/a>)<\/li>\n<li><strong>[15:00-15:40]<\/strong> Giovanni Farina:\u00a0<em>Byzantine Reliable Broadcast in Dynamic Networks\u00a0<\/em> (<a href=\"https:\/\/wp-systeme.lip6.fr\/estate\/work\/#Giovanni\">Abstract<\/a>)<\/li>\n<li><span style=\"color: #808080\"><strong>[15:40-16:00]<\/strong> Coffee break<\/span><\/li>\n<li><strong>[16:15-16:45]<\/strong> Marjorie Bournat:\u00a0<em>Gracefully Degrading Gathering in Dynamic Rings<\/em> (<a href=\"https:\/\/wp-systeme.lip6.fr\/estate\/work\/#Marjo\">Abstract<\/a>)<\/li>\n<li><strong>[16:45-17:15]<\/strong> Mickael Rabie: <em>Decidability of distributed complexity of locally checkable problems on paths<\/em> (<a href=\"https:\/\/wp-systeme.lip6.fr\/estate\/work\/#Mickael\">Abstract<\/a>)<\/li>\n<li><strong>[17:15-18:00]<\/strong> ANR DESCARTES \/ ESTATE: Business Meeting and Closing [Cyril Gavoille \/ Franck Petit]<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<pre>\u00a9 <a href=\"http:\/\/estate.lip6.fr\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-145\" src=\"https:\/\/wp-systeme.lip6.fr\/estate\/wp-content\/uploads\/sites\/6\/2017\/08\/ESTATE-Vert72-1-300x208.jpg\" alt=\"\" width=\"50\" height=\"35\" srcset=\"https:\/\/wp-systeme.lip6.fr\/estate\/wp-content\/uploads\/sites\/6\/2017\/08\/ESTATE-Vert72-1-300x208.jpg 300w, https:\/\/wp-systeme.lip6.fr\/estate\/wp-content\/uploads\/sites\/6\/2017\/08\/ESTATE-Vert72-1.jpg 595w\" sizes=\"auto, (max-width: 50px) 100vw, 50px\" \/>  <\/a><\/pre>\n","protected":false},"excerpt":{"rendered":"<p>in conjonction with Workshop\u00a0 Complexit\u00e9 et Algorithmes (GT CoA\/GDR CNRS IM) Roscoff Apr. 1st&#8211;2nd, 2019 Detailed Program (also available on the website of Descartes) Monday, April 1st, 2019 [14:00-15:40] Private meetings DESCARTES \/ ESTATE : Opening, discussions, and informations [Cyril Gavoille \/ Franck Petit] [15:40-16:00] Coffee break [16:15-16:45] Colette Johnen: Soyez Efficace, Rembobinez (Abstract) [16:45-17:15] &hellip; <a href=\"https:\/\/wp-systeme.lip6.fr\/estate\/meeting-3\/\" class=\"more-link\">Continuer la lecture de <span class=\"screen-reader-text\">Workshop ANR DESCARTES\/ESTATE<\/span> <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":37,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-289","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/wp-systeme.lip6.fr\/estate\/wp-json\/wp\/v2\/pages\/289","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp-systeme.lip6.fr\/estate\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wp-systeme.lip6.fr\/estate\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wp-systeme.lip6.fr\/estate\/wp-json\/wp\/v2\/users\/37"}],"replies":[{"embeddable":true,"href":"https:\/\/wp-systeme.lip6.fr\/estate\/wp-json\/wp\/v2\/comments?post=289"}],"version-history":[{"count":51,"href":"https:\/\/wp-systeme.lip6.fr\/estate\/wp-json\/wp\/v2\/pages\/289\/revisions"}],"predecessor-version":[{"id":463,"href":"https:\/\/wp-systeme.lip6.fr\/estate\/wp-json\/wp\/v2\/pages\/289\/revisions\/463"}],"wp:attachment":[{"href":"https:\/\/wp-systeme.lip6.fr\/estate\/wp-json\/wp\/v2\/media?parent=289"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}