Nicola Olivetti's Home Page 

LIS Address :
Aix-Marseille University

Campus de Saint Jérôme
Avenue Escadrille Normandie-Niemen
13397 Marseille Cedex 20 (France)

e-mail :

Phone .:     ++33 (0)49128 9094
Fax .:          ++33 (0) 49128 8334

Faculty Address : Faculté d'Economie et Gestion (FEG), Espace Forbin 15-19 Allée Claude Forbin, 13627 Aix-en-provence, (France)

I am Professor of Computer Science at Aix-Marseille University (AMU) in the Faculté d'Economie et Gestion (FEG) and I am a member of the CNRS Laboratory LIS .

My main research interests are:

  • automated deduction for non-classical logics (modal, conditional, substructural, and many-valued logics)
  • foundation and proof-theory of nonmonotonic reasoning
  • description logics
  • belief revision
Responsibilities (in French, to be updated)
  • Adjoint au directeur du LSIS
  • Responsable de l'équipe INCA du LISIS (Head of LSIS INCA) jusqu'à novembre 2015
  • Co-Responsable du pôle Calcul du laboratoire LIS
  • Responsable du Parcours Informatique du Master Recherche LSIS
  • Responable de la Licence Informatique Miage
  • Member of Conseil de La Faculté d'Economie et Gestion (FEG) until 2019


   Personal Page (search the directory)

   List of Publications in DBLP

   Curriculum Vitae (to be updated!)

   My publications (to be updated!)

   Teaching Activity (in French)

   IJCAR 2016

   Book: Proof Theory for Fuzzy Logics
(by G. Metcalfe, N. Olivetti, and D. Gabbay) Springer's webpage


   AIML 2020

   Proceedings of AIML 2020

Theorem Provers

   NESCOND: a Theorem Prover for Conditional Logic based on Nested Sequent Calculi

   CSLLean 1.0: a Theorem Prover for the Logic of Comparative Concept Similarity

   CONDLean: a Theorem Prover for Conditional Logic based on Labelled Calculi

   Technical Reports

logo du LSIS U3 : Université Aix-Marseille

Last update: July 20, 2006