Dr. Hab. Frédéric BLANQUI INRIA permanent full-time researcher Project Deducteam Laboratoire Spécification et Vérification

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

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

Teaching:

• rewriting theory in the MPRI

PhD subject proposals:

• 3 years PhD scholarship available

News:

• 13 January 2017: release of CoLoR 1.3 for Coq 8.6 thanks to Vadim Zaliva
• 3 January 2017: new version of Size-based termination of higher-order rewrite systems

Events:

• 3-6 September 2017: 2nd International Conference on Formal Structures for Computation and Deduction (FSCD), Oxford, UK.

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: frederic . blanqui (a) inria . fr How to come?