Gaëtan Staquet

Given talks and attended events

Talks

2024

Active Learning of Mealy Machines with Timers
20 Dec 2024

Seminary of the STR (Real Time Systems) team. LS2N, Nantes, France.

PDF.
Active Learning of Mealy Machines with Timers
06 Dec 2024

Seminary of the Formal Methods and Verification team. ULB, Brussels, Belgium.

PDF.
Active Learning of Mealy Machines with Timers
28 Nov 2024

Seminary of the LoVe team. LIPN, Paris, France.

PDF.
Active Learning of Mealy Machines with Timers
20 Nov 2024

WG Verification Days (Journées du GT Vérification). IRCICA, Lille, France.

PDF.
Active Learning of Automata with Timers
20 Sep 2024

Highlights of Logic, Games and Automata. LaBRI, Bordeaux, France.

PDF.
Active Learning of Mealy Machines with Timers
30 May 2024

MOVEP 2024. IRISA/Inria, Rennes, France.

PDF.
Validating Streaming JSON Documents with Learned Visibly Pushdown Automata
06 Apr 2024

LiVe 2024. Luxembourg, Luxembourg.

PDF.

2023

Automata with Timers
15 Dec 2023

CFV - Centre Fédéré de Vérification. ULB, Brussels, Belgium.

PDF.
Automata with Timers
01 Dec 2023

WG Verification Days (Journées du GT Vérification). IRIF, Paris, France.

PDF.
Automata with Timers
07 Nov 2023

68NQRT - Formal Methods Seminar of IRISA and Inria Rennes. Rennes, France.

PDF.
Automata with Timers
10 Oct 2023

Seminary of the Software Science Department, Radboud Universiteit. Nijmegen, The Netherlands.

PDF.
Automata with Timers
20 Sep 2023

International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS). Antwerpen, Belgium.

PDF.
Automata with Timers
25 Jul 2023

Highlights of Logic, Games and Automata. Kassel, Germany.

PDF.
Verification of Computer Systems thanks to State Machines
24 May 2023

Day of the INFORTECH research institute. Mons, Belgium.

PDF.
Validating Streaming JSON Documents with Learned Visibly Pushdown Automata
24 Apr 2023

29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Paris, France.

PDF.

2022

Verification of computer systems thanks to state machines
15 Nov 2022

Annual national day of F.R.S.-FNRS doctoral school COMPLEX. Mons, Belgium.

PDF.
Learning Realtime One-Counter Automata
26 Oct 2022

Seminary of the LRDE (Laboratoire de Recherche et Développement de l’EPITA). Paris, France.

PDF.
Vérifier un système informatique grâce à un automate
24 Oct 2022

Séminaire Jeune (vulgarization talk towards third-year and above students). Mons, Belgium.

PDF.
Learning Realtime One-Counter Automata
21 Oct 2022

Formal Methods and Verification (FMV) seminary. Brussels, Belgium.

PDF.
Active Learning of Automata for JSON-Streaming Validation
29 Jun 2022

Highlights of Logic, Games and Automata. Paris, France.

PDF.
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.

PDF.
Learning Realtime One-Counter Automata
05 Apr 2022

28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Munich, Germany (talk done online).

PDF.

2021

Learning Realtime One-Counter Automata
17 Nov 2021

WG Verification Days (Journées du GT Vérification). Gif-sur-Yvette, France.

PDF.
Learning Realtime One-Counter Automata
17 Sep 2021

Highlights of Logic, Games and Automata. Online.

PDF.
L’apprentissage d’automates et ses applications
10 Mar 2021

Mois du doctorat (a month dedicated to popularization presentations of PhD theses). Online (University of Mons).

PDF.

2020

Optimization of Answer Set Programs for Consistent Query Answering by Means of First-Order Rewriting
22 Oct 2020

29th ACM Internal Conference Conference on Information and Knowledge Management (CIKM). Online.

PDF.

Attended events

2024

WG Verification Days (Journées du GT Vérification)
IRCICA, Lille, France
Highlights of Logic, Games and Automata
LaBRI, Bordeaux, France
MOVEP
IRISA/Inria, Rennes, France
WG DAAL Day (Journée du GT DAAL)
IRISA/Inria, Rennes, France
LiVe (Workshop on Learning in Verification)
Luxembourg, Luxembourg

2023

CFV - Centre Fédéré de Vérification
ULB, Brussels, Belgium
WG Verification Days (Journées du GT Vérification)
Paris, France
Dagstuhl Retreat on Co-Algebra and Automata Learning
Schloss Dagstuhl, Wadern, Germany
Formal Modeling and Analysis of Timed Systems (FORMATS)
University of Antwerp, Belgium
Highlights of Logic, Games and Automata
Kassel, Germany
Workshop on Automata, Concurrency and Timed Systems
Gif-sur-Yvette, France
Day of the research institute INFORTECH
University of Mons, Belgium
European joint conference On Theory And Practice of Software (ETAPS)
Paris, France
WG DAAL Day (Journée du GT DAAL)
Paris, France

2022

European joint conference On Theory And Practice of Software (ETAPS)
Munich, Germany (attended online)
Highlights of Logic, Games and Automata
Paris, France
WG Verification Days (Journées du GT Vérification)
Bordeaux, France

2021

European joint conference On Theory And Practice of Software (ETAPS)
Online
32nd International Conference on Concurrency Theory (CONCUR)
Online
Highlights of Logic, Games and Automata
Online
Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF)
Online
WG Verification Days (Journées du GT Vérification)
Gif-sur-Yvette, France

2020

29th ACM Internal Conference Conference on Information and Knowledge Management (CIKM)
Online
Eleventh International Symposium on Games, Automata, Logics, and Formal Verification (GandALF)
Online
Highlights of Logic, Games and Automata
Online
MOVEP Summer School
Online

2019

Workshop - Theory and Algorithms in Graph and Stochastic Games
University of Mons, Belgium