Dr. Frédéric BLANQUI INRIA permanent full-time researcher Project-team FORMES

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

Software  | Publications  | Teaching  | Students  | Projects  | Workshops  | CV  | Useful links  | Homepages

Internship proposals:

• Formal proof of decision procedures for the combinations of equational theories
• Other proposals

News:

20 September 2011: First steps towards the certification of an ARM simulator. With J.-F. Monin, X. Shi and F. Tuong. CPP'11. [HAL]

1st July 2011: CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates. With Adam Koprowski. MSCS 21(4), p. 827-859 © Cambridge University Press.

Events:

2 June 2012: 6th International Workshop on Higher-Order Rewriting (HOR'12), Nagoya, Japan

28 May - 2 June 2012: 23rd International Conference on Rewriting Techniques and Applications (RTA'12), Nagoya, Japan

7-9 December 2011: 1st International Conference on Certified Programs and Proofs (CPP'11), Kenting, Taiwan

Address: Office 3-604, FIT, Tsinghua University Haidian District, Beijing 100084, CHINA Tel: +86 010 62 79 69 79 ext 604 Fax@LIAMA: +86 010 62 64 74 58 Email: firstname.name@inria.fr Access map

Last updated on 10 January 2012. Come back to main page.