Nicola Olivetti's Home Page 

     
 LIS Address :
LIS - UMR CNRS 7020
Aix-Marseille University

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

e-mail :
first_name[DOT]family_name[AT]lis-lab[DOT]fr
first_name[DOT]family_name[AT]univ-amu[DOT]fr
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)

Warning! Page under maintenance


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 in the area of logic and automated reasoning:

  • Modal, Deontic and Conditional Logic
  • Proof-theory and automated Deduction
  • Description logics
Current Responsabilities (in French)
  • Co-Responsable du pôle Calcul du laboratoire LIS
Past Responsabilities
  • Adjoint au directeur du LSIS jusqu'au 31/12 2017
  • Responsable de l'équipe INCA du LISIS (Head of LSIS INCA) jusqu'à novembre 2015
  • Responsable du Parcours Informatique du Master Recherche LSIS
  • Responable de la Licence Informatique Miage
  • Membre du Conseil de La Faculté d'Economie et Gestion (FEG) jusqu'au 2019
  • Membre de la Commission ATER/CME de la FEG
  • Membre de la Commission CVEC de Aix en Provence jusqu'au 2020

    •  

       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

       ANR FWF Project TICAMORE

       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     http://www.di.unito.it/~pozzato/csllean/index.html


    logo du LSIS U3 : Université Aix-Marseille
    Last update: January 2023