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:

• 11 June 2018: Termination of λΠ modulo rewriting using the size-change principle (work in progress), with Guillaume Genestier, 5 pages, WST'18
• 4 May 2018: release of CoLoR 1.5 for Coq 8.8
• 3 May 2018: I joined the steering committee of the International School on Rewriting (ISR) of the IFIP WG 1.6
• 21 April 2018: Size-based termination of higher-order rewriting, published in JFP
• 5 March 2018: Note on the operational semantics of Dedukti 2.5
• 8 December 2017: CoLoR moved to GitHub

Events:

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

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?