Vincent Risch

Maître de Conférences, Aix-Marseille Université

Research topics :

  • logics, proof theory, reasoning
  • automated deduction
  • knowledge representation
  • formal theory of argumentation

Where I do research


LIS, UMR CNRS 7020
Equipe LIRICA
Aix Marseille Université - Campus de Luminy
163 Avenue de Luminy - case 901
BP 5
13288 Marseille cedex 9

vincent.risch (at) lis-lab.fr

Where I do teach


Département d'Informatique
Institut Universitaire de Technologie
Aix-Marseille Université
Avenue Gaston Berger
13625 Aix-en-Provence cedex 1

vincent.risch (at) univ-amu.fr


I am a member of the LIRICA team at the Laboratoire d'Informatique et des Systèmes (LIS). My current research interest concerns the construction of a calculus for X-logics, and its application to formal argumentation. A list of my publications as well as some of my earlier papers can be found here. Documents related to my teaching activities (in French) are here.

Argutia is an experimental software developped by Geoffroy Aubry from our joint work on argumentation. It enables the computation of new arguments by two formal agents facing each other. The software is freely downloadable from here.