Organisation of Events

Software Development
CoQuiAAS' Logo I am one of the developpers of CoQuiAAS, a solver for abstract argumentation reasoning tasks. CoQuiAAS was awarded several times at the International Competition of Computational Models of Argumentation
  • 2019 : Second place at the Main Track and the Dynamic Track of ICCMA 2019
  • 2017: First place at the GR Track of ICCMA 2017
  • 2015: First place at ICCMA 2015

Now the project CoQuiAAS is more or less over, but the evolution of CoQuiAAS (named Crustabri) has participated to ICCMA 2023, and obtained good results in various tracks, in particular it was ranked first in the following sub-tracks:

I've shared a small piece of software for computing extensions in a simple GUI. Although this may not be the best way for large instances, this is an easy way to obtain the extensions for small argumentation frameworks. It may be useful for teaching purposes, or just for checking whether your exemple is correct when your write a paper :)
See here for more information and for downloading the software (or the code). Since it is a preliminary version, that was quickly implemented, any feedback is welcome :)
A tool for merging extensions of abstract argumentation frameworks is available here. It has been described in an article.
I have implemented a SAT-based solver for extension-based semantics of incomplete argumentation frameworks, available here.

Programm Committee

Reviewer for Journal Papers

Reviewer for Conferences and Workshop

Thesis Reviewer/Defense Committee Member

Local Administrative Duties
Some responsibilities in the Université Paris Cité or in LIPADE lab:
Current

Past:

Université Paris Cité
LIPADE