Slides of various talks
Slides in english
- Seminar "Algorithmique
Distribuée" at LaBRI, Bordeaux, France, January 15,
2025 (Distributed Computing and Dynamic Graphs)
- GRAPHADON 2024, Rouen, France, June 26,
2024 (Distributed Computing and Dynamic Graphs)
- AlgoTel 2024, Saint-Briac-sur-mer, France, May 27,
2024 (Nous aussi on fait du log* !)
- MAC 2022, Pisa, Italy, September 19,
2022 (Certifying in Coq results on mobile agents: A user perspective)
- GRASTA 2022, Porquerolles, France, May 17,
2022 (Certifying in Coq results on mobile agents: a user perspective)
- Seminar "Algorithmique
Distribuée" at LaBRI, Bordeaux, France, January 17, 24, and 31, 2022 (Proving in Coq (Pactole): A user perspective)
- ANR DESCARTES and ESTATE meeting, Fontainebleau, France, November 9,
2021 (Proving in Coq (Pactole): A user perspective)
- AlgoTel 2020 (keynote), Écully, France, October 1,
2020 (Reliability/Robustness in Distributed Computing)
- Habilitation (HDR) defense, Talence, France, March 15,
2019 (Structural Information in Distributed Computing)
- AlgoTel 2018, Roscoff, France, June 1, 2018 (Silent Self-Stabilizing Scheme for
Spanning-Tree-like Constructions)
- Workshop MoRoVer 2017, Villeurbanne, France, November 16,
2017 (Graph Exploration by Oblivious Agents)
- DALGO team's seminar at LIF,
Marseille, France, October 26, 2017 (Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps)
- Seminar "Algorithmique
Distribuée" at LaBRI, Bordeaux, France, June 26, 2017 (Graph Exploration by Oblivious Agents)
- MAC 2017, La Maddalena, Italy, June 6,
2017 (Graph Exploration by Oblivious Agents)
- Seminar "Algorithmique
Distribuée" at LaBRI, Bordeaux, France, March 20, 2017 (Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps)
- OPODIS 2016, Madrid, Spain, December 13,
2016 (Self-Stabilizing Disconnected Components
Detection and Rooted Shortest-Path Tree
Maintenance in Polynomial Steps)
- MAC 2016, Paris, France, September 26,
2016 (On Mobile Agents Verifiable Problems)
- Seminar "Algorithmique
Distribuée" at LaBRI, Bordeaux, France, December 19, 2015 (Beachcombing on Strips and Islands)
- ALGOSENSORS 2015, Patras, Greece, September 18,
2015 (Beachcombing on Strips and Islands)
- ANR MACARON meeting, Marseille, France
June 16, 2015 (On Mobile Agents Verifiable Problems)
- Seminar "Algorithmique
Distribuée" at LaBRI, Bordeaux, France, January 12, 2015 (Distributedly Testing Cycle-Freeness)
- ANR DISPLEXITY meeting, Cognac, France,
September 18, 2014 (Distributedly Testing Cycle-Freeness)
- ANR MACARON meeting, Marseille, France,
January 10, 2014 (Exploration of Dynamic Graphs)
- MAC 2013, Ischia, Italy, July 4,
2013 (On the Power of Waiting when Exploring Public
Transportation Systems)
- Journées du GT Complexité et Algorithmes (keynote),
Paris, France, November 22, 2012 (Initial knowledge and impossibility
results in distributed computing)
- SWAT 2010, Bergen, Norway, June 21, 2010 (Optimal
Exploration of Terrains with Obstacles)
- Seminar "Algorithmique
Distribuée" at LaBRI, Bordeaux, France, May 3, 2010 (Optimal
Exploration of Terrains with Obstacles)
- Seminar "Algorithmique et combinatoire"
at LIAFA, Paris, France, March 2, 2010 (Optimal
Exploration of Terrains with Obstacles)
- ANR ALADDIN meeting, Bordeaux, France, November 27,
2009 (Euler Tour Lock-in Problem in the Rotor-Router Model)
- Journées Graphes et Algorithmes 2009,
Montpellier, France, November 5, 2009 (Euler Tour Lock-in Problem in the Rotor-Router Model)
- Seminar "Graphes et
Applications" at LaBRI, Bordeaux, France, October 16, 2009 (Euler Tour Lock-in Problem in the Rotor-Router Model)
- DISC 2009, Elche/Elx, Spain, September 25,
2009 (Euler Tour Lock-in Problem in the Rotor-Router Model)
- Seminar "Graphes et Applications"
at LaBRI, Bordeaux, France, October 10, 2008 (Periodic Graph Exploration Using an
Oblivious Agent)
- DYNAMO COST 295 meeting, Arcachon,
France, September 26, 2008 (Periodic Graph Exploration Using an
Oblivious Agent)
- DISC 2008, Arcachon, France, September 24,
2008 (Ping Pong in Dangerous Graphs: Optimal Black Hole Search
with Pebbles)
- SIROCCO 2008, Villars-sur-Ollon,
Switzerland, June 18, 2008 (Remembering Without Memory: Tree
Exploration by Asynchronous Oblivious Robots)
- Seminar "Algorithmique Distribuée" at LaBRI,
Bordeaux, France, June 16, 2008 (Ping Pong in Dangerous Graphs: Optimal Black Hole Search
with Pebbles)
- ANR ALADDIN meeting, La Rochelle, France, May 30,
2008 (Ping Pong in Dangerous Graphs: Optimal Black Hole Search
with Pebbles)
- OPODIS 2007, Pointe-à-Pitre, Guadeloupe,
December 17, 2007 (Computing Without Communicating: Ring
Exploration by Asynchronous Oblivious Robots)
- ICALP 2007, Wrocław, Poland, July 10,
2007 (Distributed Computing with Advice: Information Sensitivity
of Graph Coloring)
- PODC 2006, Denver, Colorado, USA, July 25,
2006 (Oracle size: a new measure of difficulty for communication
tasks)
- SIROCCO 2006, Chester, United Kingdom,
July 3, 2006 (Setting Port Numbers for Fast Graph Exploration)
- FRAGILE meeting, Paris, France, May
23, 2006 (Oracle size: a new measure of difficulty)
- DYNAMO COST 295 meeting, Les
Ménuires, France, January 16, 2006 (Label-Guided Graph
Exploration by a Finite Automaton)
- LOCALITY 2005, Cracow, Poland,
September 26, 2005 (Label-based Tree Representation)
- ICALP 2005, Lisbon, Portugal, July 12,
2005 (Label-Guided Graph Exploration by a Finite Automaton)
- SIROCCO 2005, Mont Saint-Michel,
France, May 24, 2005 (Space Lower Bounds for Graph Exploration
via Reduced Automata)
- FRAGILE meeting, Paris, France,
January 26, 2005 (Graph Exploration by Automata)
- Seminar talk at McGill, Montréal,
Canada, October 4, 2004 (Graph Exploration by Automata)
- MFCS 2004, Prague, Czech Republic, August
24, 2004 (Graph Exploration By A Finite Automaton)
- STACS 2004, Montpellier, France, March
26, 2004 (Digraphs Exploration with Little Memory)
Slides in french
- Séminaire de l'équipe MoVe du LIF,
Marseille, 24 octobre 2012 (Connaissance initiale et résultats
d'impossibilité en algorithmique distribuée)
- Réunion ANR DISPLEXITY,
Saint-Jacut-de-la-Mer, 14 juin 2012 (Connaissance a priori et
oracles/conseils)
- Réunion ANR ALADDIN, Arcachon, 6 mai
2011 (Sur la connaissance a priori nécessaire et suffisante pour
résoudre un problème distribué)
- AlgoTel 2008, Saint-Malo, 14 mai 2008 (Recherche Optimale de Trou Noir avec Cailloux)
- AlgoTel 2007, Ile d'Oléron, 31 mai 2007 (Exploration d'arbres par des équipes de robots asynchrones et amnésiques)
- Séminaire de l'équipe ASAP, Rennes,
10 janvier 2007 (Complexité en espace de l'exploration de graphes)
- Séminaire du GT Algorithmique Distribuée,
Bordeaux, 8 janvier 2007 (Complexité en espace de l'exploration de graphes)
- Soutenance de thèse, Orsay, 7
juillet 2006 (Complexité en espace de l'exploration de graphes)
- AlgoTel 2006, Trégastel, 9 mai 2006
(Exploration d'arbres avec oracle)
- Journées Graphes et Algorithmes 2005,
Bordeaux, 3 novembre 2005
(Exploration par un automate fini de réseaux anonymes étiquetés)
- AlgoTel 2005, Presqu'île de Giens, 11
mai 2005
(Exploration par un automate fini de réseaux anonymes étiquetés)
- Séminaire de l'équipe OPAL,
Evry, 10 février 2005
(Exploration de Graphes par Automates)
- Semaine sport-étude ENS Lyon
L3, Les Sept Laux, 18 janvier 2005
(Exploration de Graphes par Automates ; Lien avec SL=L (Omer Reingold))
- Séminaire du LIP, Lyon, 7 décembre 2004
(Exploration de Graphes par Automates)
- Séminaire de l'équipe GrafComm,
Orsay, 19 novembre 2004
(Exploration de Graphes par Automates)
- Réunion PairAPair, Lyon, 22 octobre 2004
(Exploration de Graphes par Automates)
- Réunion TAROT, Lyon, 14 octobre 2004
(Puissance de la communication dans l'exploration coopérative de graphes)
- AlgoTel 2004, Batz-sur-mer, 27 mai 2004
(Exploration de réseaux par un robot)
- Séminaire GRM, Paris, 26
fevrier 2004
(Exploration de graphes avec peu de mémoire)
- Journées GRM, Paris, 18 décembre 2003
(Exploration de graphes orientés avec peu de mémoire)
- Séminaire de l'équipe GrafComm,
Orsay, 24 octobre 2003
(Exploration de graphes avec peu de mémoire)
- Réunion TAROT, Lyon, 17 octobre 2003
(Exploration de graphes avec peu de mémoire)