my photo   

Dr. Hab. Frédéric BLANQUI

INRIA permanent full-time researcher

Project Deducteam

   INRIA

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


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


News:

24 February 2015: revised version of Termination of rewrite relations on λ-terms based on Girard's notion of reducibility, 47 pages, to appear in Theoretical Computer Science.

5 February 2015: new release of CoLoR now available through OPAM.

9 October 2014: PhD defense of Kim Quyen Ly on Automated verification of termination certificates.


Events:

29 June - 3 July 2015: 8th International Conference on Rewriting, Deduction, and Programming (RDP), Warsaw, Poland.


Address:

23 avenue d'Italie, CS 81321, 75214 Paris Cedex 13, FRANCE
Office #3
Tel: +33 (0) 1 39 63 52 66
Fax: +33 (0) 1 39 63 79 88
Email: firstname.name@inria.fr
How to come?


statcounter Valid XHTML 1.1 Last updated on 2 March 2015. Come back to main page.