Given talks

2025

Active Learning of Mealy Machines with Timers, 10 March 2025. Seminary of the Automata and Applications team, LRE, Paris, France. [Slides]
Active Learning of Mealy Machines with Timers, 06 February 2025. Seminary of the MTV (Modelling and Technologies for Verification) team, LaBRI, Bordeaux, France. [Slides]

Active Learning of Mealy Machines with Timers, 20 December 2024. Seminary of the STR (Real Time Systems) team, LS2N, Nantes, France. [Slides]
Active Learning of Mealy Machines with Timers, 06 December 2024. Seminary of the Formal Methods and Verification team, ULB, Brussels, Belgium. [Slides]
Active Learning of Mealy Machines with Timers, 28 November 2024. Seminary of the LoVe team, LIPN, Paris, France. [Slides]
Active Learning of Mealy Machines with Timers, 20 November 2024. WG Verification Days (Journées du GT Vérification), IRCICA, Lille, France. [Slides]
Active Learning of Automata with Timers, 20 September 2024. Highlights of Logic, Games and Automata, LaBRI, Bordeaux, France. [Slides]
Active Learning of Mealy Machines with Timers, 30 May 2024. MOVEP 2024, IRISA/Inria, Rennes, France. [Slides]
Validating Streaming JSON Documents with Learned Visibly Pushdown Automata, 06 April 2024. LiVe 2024, Luxembourg, Luxembourg. [Slides]

Automata with Timers, 15 December 2023. CFV - Centre Fédéré de Vérification, ULB, Brussels, Belgium. [Slides]
Automata with Timers, 01 December 2023. WG Verification Days (Journées du GT Vérification), IRIF, Paris, France. [Slides]
Automata with Timers, 07 November 2023. 68NQRT - Formal Methods Seminar of IRISA and Inria Rennes, Rennes, France. [Slides]
Automata with Timers, 10 October 2023. Seminary of the Software Science Department, Radboud Universiteit, Nijmegen, The Netherlands. [Slides]
Automata with Timers, 20 September 2023. International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Antwerpen, Belgium. [Slides]
Automata with Timers, 25 July 2023. Highlights of Logic, Games and Automata, Kassel, Germany. [Slides]
Verification of Computer Systems thanks to State Machines, 24 May 2023. Day of the INFORTECH research institute, Mons, Belgium. [Slides]
Validating Streaming JSON Documents with Learned Visibly Pushdown Automata, 24 April 2023. 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Paris, France. [Slides]

Verification of computer systems thanks to state machines, 15 November 2022. Annual national day of F.R.S.-FNRS doctoral school COMPLEX, Mons, Belgium. [Slides]
Learning Realtime One-Counter Automata, 26 October 2022. Seminary of the Automata and Applications team, LRDE, Paris, France. [Slides]
Vérifier un système informatique grâce à un automate, 24 October 2022. Séminaire Jeune (vulgarization talk towards third-year and above students), Mons, Belgium. [Slides]
Learning Realtime One-Counter Automata, 21 October 2022. Formal Methods and Verification (FMV) seminary, Brussels, Belgium. [Slides]
Active Learning of Automata for JSON-Streaming Validation, 29 June 2022. Highlights of Logic, Games and Automata, Paris, France. [Slides]
Vérifier efficacement un document JSON grâce à un automate, 06 May 2022. Séminaire Jeune (vulgarization talk towards third-year and above students), Mons, Belgium. [Slides]
Learning Realtime One-Counter Automata, 05 April 2022. 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Munich, Germany (talk done online). [Slides]

Learning Realtime One-Counter Automata, 17 November 2021. WG Verification Days (Journées du GT Vérification), Gif-sur-Yvette, France. [Slides]
Learning Realtime One-Counter Automata, 17 September 2021. Highlights of Logic, Games and Automata, Online. [Slides]
L'apprentissage d'automates et ses applications, 10 March 2021. Mois du doctorat (a month dedicated to popularization presentations of PhD theses), Online (University of Mons). [Slides]

Optimization of Answer Set Programs for Consistent Query Answering by Means of First-Order Rewriting 22 October 2020 29th ACM Internal Conference Conference on Information and Knowledge Management (CIKM), Online. [Slides]