my photo   

Dr. Hab. Frédéric BLANQUI

INRIA permanent full-time researcher

Project Deducteam

Logo LSV Laboratoire Spécification et Vérification

   INRIA

Research interests: rewriting, type theory, lambda-calculus, termination, logic, functional programming, proof assistants, ...


Publications  | Talks  | Software  | Teaching  | Students  | Useful links  | Homepages


Teaching:


Internship/PhD subject proposals:


News:

  • 26 October 2016: talk on using external provers in proof assistants, seminar on Universality of proofs, Dagstuhl, Germany

    26 May 2016: talk on size-based termination for higher-order rewriting at Chambéry.

    26 January 2016: release of CoLoR 1.2.


    Address:

    LSV, 61 avenue du Président Wilson, 94235 Cachan Cedex, France
    Office C1-09, Tel: +33 (0) 1 47 40 22 59, Fax: +33 (0) 1 47 40 75 21
    Email: firstname.name@inria.fr
    How to come?

    Logo ENS Cachan


    Statcounter W3C Validator Last updated on 18 November 2016. Come back to main page.