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:

• Langages et Systèmes Formels à l'ENSIIE
• Rewriting Theory in the MPRI

Events:

• 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?