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  | Useful links  | Homepages  | CV  | Students  | Projects  | Workshops  | Teaching

Internship proposals:

• Certification of program termination
• Other proposals

News:

July 6: Proposal for hosting the 23rd International Conference on Rewriting Techniques and Applications (RTA)

June 28: CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates. With Adam Koprowski. Submitted.

June 17: Argument filterings and usable rules in higher-order rewrite systems. With Keiichirou Kusakari and Sho Suzuki. Submitted.

March 30: A size-based termination criterion for dependently-typed higher-order rule-based programs. Journal version of the RTA'04 and CSL'05 papers. Submitted.

February 24: Results of last termination competition (Rainbow is 2nd).

December 7: New release of CoLoR and Rainbow.

Events:

August 20-27: 2nd Asian-Pacific Summer School on Formal Methods, Beijing, China

July 16-19: 7th International Competition on Termination, Edinburgh, UK

July 14-15: 11th International Workshop on Termination (WST 2010), Edinburgh, UK

July 11-13: 21st International Conference on Rewriting Techniques and Applications (RTA 2010), Edinburgh, UK

July 26-28: 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2010), Hagenberg, Austria.

July 14: 5th International Workshop on Higher-Order Rewriting (HOR 2010), Edinburgh, UK, within FLOC 2010.

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 6 July 2010. Come back to main page.