Sesame est un système qui, dans le cadre de l'argumen-tation abstraite, permet de spécifier une sémantique argumentative et qui s'attaque au problème de vérification : pour un graphe d'argumentation donné, tel ou tel ensemble d'ar-guments constitue-t-il une extension sous la sémantique spé-cifiée par l'utilisateur ? Les sémantiques qui peuvent être spécifiées au travers du système Sesame ne se limitent pas aux sémantiques déjà connues, un utilisateur peut en spéci-fier de nouvelles. Le système Sesame fournit en sortie une représentation logique de la sémantique saisie sous la forme d'une formule paramétrée. Appliquée à un ensemble d'argu-ments d'un graphe d'argumentation donné, la formule ins-tanciée va être satisfiable si et seulement si cet ensemble est une extension pour ce graphe sous la sémantique spécifiée.