Partners

From BWare
(Difference between revisions)
Jump to: navigation, search
(Inria)
Line 4: Line 4:
  
 
== [http://www.inria.fr Inria] ==
 
== [http://www.inria.fr Inria] ==
 +
 +
[http://cristal.inria.fr/~doligez/ Damien Doligez] (coordinator)
 +
 +
[http://who.rocq.inria.fr/Gilles.Dowek/ Gilles Dowek]
 +
 +
[http://fabrice.lefessant.net/ Fabrice Le Fessant]
 +
 +
[http://perso.isep.fr/ohermant Olivier Hermant (Mines ParisTech]
  
 
== [http://www.mitsubishielectric-rce.eu/ Mitsubishi Electric R&D Centre Europe] ==
 
== [http://www.mitsubishielectric-rce.eu/ Mitsubishi Electric R&D Centre Europe] ==

Revision as of 16:50, 5 October 2012

Contents

Cedric

LRI

Inria

Damien Doligez (coordinator)

Gilles Dowek

Fabrice Le Fessant

Olivier Hermant (Mines ParisTech

Mitsubishi Electric R&D Centre Europe

ClearSy

OCamlPro

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox