This page contains the list of talks to which I was invited to contribute during my academic career.
2024
- "GIVUP: Automated Verification of Textual Process Descriptions", CONVECS team day, November, the 28th, 2024, Col de Porte, France
-
"From Textual Requirements to BPMN",
MFML
workshop, May, the 29th, 2024, Montbonnot-Saint-Martin, France
![[PDF]](../images/logo_pdf.png)
![[PPTX]](../images/logo_pptx.svg)
![[ODP]](../images/logo_odp.png)
2023
-
"Patching Liveness Bugs in Concurrent Programs",
CONVECS team seminar,
June, 14th - 16th, 2023, Aix-les-Bains, France
2022
-
"Model Checking and Debugging of BPMN Processes using Coloration Techniques",
YODA's
4th workshop, December, the 16th, 2022, Remotely
-
"Model Checking and Debugging of BPMN Processes using Coloration Techniques",
Master's defense, June, the 27th, 2022, Remotely
-
"Model Checking and Debugging of BPMN Processes using Coloration Techniques",
CONVECS team seminar,
June, 22nd - 24th, 2022, La Mure, France
-
"Model Checking and Debugging of BPMN Processes using Coloration Techniques",
workshop on formal modelling, analysis and optimisation of BPMN processes,
May, the 4th, 2022, Montbonnot-Saint-Martin, France