Olivier PONS

  • INRIA Sophia Antipolis, Projet : Lemme et,
  • Université de Minho (Portugal),
    Equipe : Logique et Méthodes Formelles
  • Tel :(351) 96 41 86 407 (portable au portugal)
    (351) 253 60 44 61(université de minho)
  • Fax : +33 92 34 76 33 (Inria projet lemme)
  • E-mail: Olivier.Pons@sophia.inria.fr

    cette page est perpétuellement
    en construction

    Thèmes de recherche

    Enseignement

    J'ai été deux ans vacataire à l'Université de Nice Sophia Antipolis et à l'ESSI. Durant l'année 1998-99 j'ai été ATER au Conservatoire des Arts et Métiers puis en 1999-2000 à l'IIE.
    Quelques résidus de mes enseignements sont disponible en ligne Pour le détail des enseignement donnés, se reporter a mon CV

    Publications récentes

    Quelques réalisations pratiques



    Un mode emacs (pour XEmacs 19.13 et suivant) pour Coq (obsolètes!)

    Ceci est désormais complètement obsolètes, allez donc voir la page de Proof General mais si vous insistez voici...