Home My Page Projects

User Profile

Personal Information
User Id: 1033
Login name: blanqui
Real Name:
Frédéric Blanqui
Email Address:: frederic.blanqui @nospam@ inria.fr
Address: 23 avenue d'Italie 75013 Paris
Bureau 3
Phone: 0139635266
Site Member Since: 2006-03-08 14:35
Diary and Notes
Diary/Note entries: 0

View Diary & Notes

Monitor this Diary

Project Info

This developer is a member of the following projects:


Abstract Canonical Systems (Admin, Senior Developer)

CoLoR (Admin)

Coq Contribs (Contributor)

Coqine (Admin)

Dedukti (Admin)

Explore (Admin)

Formes (Admin)

Holide (Admin)

HORPO (Admin)

hot (Admin)

plc-fomal-sem (Admin)

Rainbow (Admin)

Rewriting (Admin)

SBT (Admin)

SimSoC (Junior Developer)

SimSoC-Cert (Admin)

TPG (Admin)

Trusted-TPA (Admin)