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 at the MPRI
• Langages et Systèmes Formels à l'ENSIIE

News:

• 7 February 2018: Size-based termination of higher-order rewriting accepted for publication in JFP
• 8 December 2017: CoLoR moved to GitHub
• 10 November 2017: release of CoLoR 1.4 for Coq 8.7 thanks to Vadim Zaliva

Events:

• 19 March 2018: Upscale meeting
• 7 July 2018: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'18), Oxford, UK, affiliated to FSCD at FLoC'18

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?