Actualités
Projets
Colloques
-
AlgoTel 25 joint with CoRes 25, Saint Valery-sur-Somme, juin 2025.
-
AlgoTel 24 joint with CoRes 24, Saint-Briac-sur-Mer, mai 2024.
-
Scientific committee MAC 23 satellite event of OPODIS 2023, Tôkyô, décembre 2023.
-
Exposé FIT Europe : Seminar 4, Bucarest, 21 mars 2022.
-
Conférence SSS 21 : Stabilization, Safety, and Security of Distributed Systems.
(PC member) -
Workshop FuReThErMoRe : Mobility and Redundancy, Lyon, 1er octobre 2019, joint avec SRDS.
-
Workshop MoRoVer : Mobile Robots and Verification, Lyon, 15 et 16 novembre 2017.
Publications récentes
-
François Bonnet, Quentin Bramas, Pierre Courtieu, Xavier Défago, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Deterministic Color-optimal Self-stabilizing Semi-synchronous Gathering: a Certified Algorithm. International Colloquium on Structural Information and Communication Complexity (SIROCCO 2025), À paraître.
-
Maria-Virginia Aponte, Mathis Bouverot-Dupuis, Quentin Bramas, Pierre Courtieu, Lionel Rieg, Xavier Urbain. Rendez-vous au Point-Dont-On-Ne-Doit-Pas-Calculer-Les-Coordonnées. In AlgoTel 2025, Saint Valery-sur-Somme, France. Juin 2025
-
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil et Xavier Urbain. Swarms of Mobile Robots: towards Versatility with Safety. Leibniz Transactions on Embedded Systems. (https://doi.org/10.4230/LITES.8.2.2)
-
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Computer Aided Formal Design of Swarm Robotics Algorithms. In Johnen, Schiller et Schmid éd., Stabilization, Safety, and Security of Distributed Systems (SSS 2021), vol. 13046 des LNCS, pp.469-473. Novembre 2021.
-
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Comment s’assurer de garder le contact (et nos distances). In AlgoTel 2021, La Rochelle , France. Sept. 2021.