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  | Software  | Teaching  | Students  | Useful links  | Homepages  | Talks


Internship proposals:


News:

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

26 January 2016: release of CoLoR 1.2.

15 December 2015: publication of Termination of rewrite relations on λ-terms based on Girard's notion of reducibility in TCS.

10 December 2015: submission of Size-based termination of higher-order rewrite systems.

9 December 2015: some notes on the theory of cardinals.

3 November 2015: I moved to the LSV.

26 October 2015: publication of The computability path ordering in LMCS.


Events:

22-26 June 2016: 1st International Conference on Formal Structures for Computation and Deduction (FSCD), Porto, Portugal.


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 1 July 2016. Come back to main page.