Concurrency and Higher Dimensional Automata
2025
| 03/2025 | MTV Seminar | Labri, Bordeaux | Logics for Higher Dimensional Automata | ||
| 03/2025 | LACL Seminar | LACL, Créteil | Logics for Higher Dimensional Automata | ||
| 03/2025 | Veridis Team Seminar | Loria, Nancy | Logics for Higher Dimensional Automata | ||
| 02/2025 | GT-Informel | LMF, Saclay | Logics for Higher Dimensional Automata |
2024
| 11/2024 | MoVe Team Seminar | LIP6, Paris | Multi-Agent systems for robotics | ||
| 11/2024 | National day of GT-Verif | Cristal, Lille | Logics for Higher Dimensional Automata | Slides | |
| 11/2024 | ANR Bisous | LIPN, Villetaneuse | Higher Dimensional Timed Automata | Slides | |
| 11/2024 | Seminar at Cosynux Team | LIX, Saclay | Geometric properties of Random groups | Slides | |
| 05/2024 | Seminar at Spring School MOVEP2024 | IRISA, Rennes | Higher Dimensional Timed Automata | Slides | |
| 05/2024 | LoVe Team Seminar | LIPN, Villetaneuse | Higher Dimensional Timed Automata | ||
| 04/2024 | National Day of GT-DAAL | IRISA, Rennes | Higher Dimensional Timed Automata | ||
| 03/2024 | LACL seminar | LACL, Créteil | Higher Dimensional Timed Automata | Slides | |
| 02/2024 | MoVe Team Seminar | LIP6, Paris | Higher Dimensional Timed Automata | Slides |
2023
| 12/2023 | GT-Informel | LMF, Saclay | Higher Dimensional Timed Automata | Slides | |
| 11/2023 | ANR Maveriq Meeting | IRIF, Paris | Robustness of Timed Automata | Slides | |
| 11/2023 | Automata Team seminar | IRIF, Paris | Robustness of Timed Automata | Slides | |
| 10/2023 | Verification Team seminar | IRIF, Paris | Multi-Agent synthesis for Robotics | Slides | |
| 12/2023 | ASV Day | IRIF, Paris | Mixed topics | Slides | |
| 11/2023 | GT-VERIF National Day | IRIF, Paris | Multi-Agent synthesis for Robotics | Slides | |
| 09/2023 | Non-permanent seminar | IRIF, Paris | Multi-Agent synthesis for Robotics | Slides | |
| 09/2023 | FORMATS 2023 | Antwerp, Belgium | Multi-Agent synthesis for Robotics | Slides | |
| 06/2023 | TickTac ANR Meeting | ISIR, Paris | Multi-Agent synthesis for Robotics | Slides (Part 1) | |
| 03/2023 | GDR-GPL MTV2, National Day | LMF, Saclay | Robustness of Timed Automata | Slides | |
| 03/2023 | AMAC Team (ISIR) presentation | ISIR, Paris | Multi-Agent synthesis for Robotics | Slides |
2022
| 06/2022 | Syroco Team seminar | ISIR, Paris | Robustness of Timed Automata | Slides | |
| 03/2022 | PhD Defense | INRIA, IRISA, Rennes | Robustness of Timed Automata | Slides |
2020
| 09/2020 | Conference FORMATS 2020 | Online (COVID) | Robustness of Timed Automata | Slides | |
| 03/2020 | MOVEP 2020 summer school | Online (COVID) | Robustness of Timed Automata | Slides |
