Partners

From BWare
(Difference between revisions)
Jump to: navigation, search
(LRI)
Line 1: Line 1:
== [http://cedric.cnam.fr Cedric] ==
+
== [http://cedric.cnam.fr Cedric], [http://cedric.cnam.fr/index.php/labo/cpr CPR Team] ==
  
== [http://www.lri.fr LRI] team Toccata, formerly [http://proval.lri.fr/ ProVal]==
+
* [http://cedric.cnam.fr/~delahaye/ David Delahaye] (global coordinator)
 +
* [http://www.ensiie.fr/~guillaume.burel/ Guillaume Burel]
 +
* [http://www.ensiie.fr/~dubois Catherine Dubois]
 +
 
 +
== [http://www.lri.fr LRI], Toccata Team (formerly [http://proval.lri.fr/ ProVal]) ==
  
 
* [http://www.lri.fr/~conchon/ Sylvain Conchon] (local coordinator)
 
* [http://www.lri.fr/~conchon/ Sylvain Conchon] (local coordinator)
Line 12: Line 16:
 
== [http://www.inria.fr Inria] ==
 
== [http://www.inria.fr Inria] ==
  
[http://cristal.inria.fr/~doligez/ Damien Doligez] (coordinator)
+
* [http://cristal.inria.fr/~doligez/ Damien Doligez] (local coordinator)
 
+
* [http://who.rocq.inria.fr/Gilles.Dowek/ Gilles Dowek]
[http://who.rocq.inria.fr/Gilles.Dowek/ Gilles Dowek]
+
* [http://fabrice.lefessant.net/ Fabrice Le Fessant]
 
+
* [http://perso.isep.fr/ohermant Olivier Hermant]
[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] ==
 +
 +
* David Mentré (local coordinator)
  
 
== [http://www.clearsy.com/ ClearSy] ==
 
== [http://www.clearsy.com/ ClearSy] ==
 +
 +
* Thierry Lecomte (local coordinator)
  
 
== [http://www.ocamlpro.com/ OCamlPro] ==
 
== [http://www.ocamlpro.com/ OCamlPro] ==
 +
 +
* [http://gazagnaire.org/ Thomas Gazagnaire] (local coordinator)

Revision as of 04:12, 16 October 2012

Contents

Cedric, CPR Team

LRI, Toccata Team (formerly ProVal)

Inria

Mitsubishi Electric R&D Centre Europe

  • David Mentré (local coordinator)

ClearSy

  • Thierry Lecomte (local coordinator)

OCamlPro

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox