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:

10 March 2015: formalization of the classical infinite Ramsey theorem in CoLoR.

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: CoLoR now available on 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 11 March 2015. Come back to main page.