Partners

From BWare
(Difference between revisions)
Jump to: navigation, search
Line 1: Line 1:
== [http://cedric.cnam.fr Cedric], [http://cedric.cnam.fr/index.php/labo/cpr CPR Team] ==
+
== [http://cedric.cnam.fr Cedric] ([http://cedric.cnam.fr/index.php/labo/cpr CPR] Team) ==
  
 
* [http://cedric.cnam.fr/~delahaye/ David Delahaye] (global coordinator)
 
* [http://cedric.cnam.fr/~delahaye/ David Delahaye] (global coordinator)
Line 5: Line 5:
 
* [http://www.ensiie.fr/~dubois Catherine Dubois]
 
* [http://www.ensiie.fr/~dubois Catherine Dubois]
  
== [http://www.lri.fr LRI], Toccata Team (formerly [http://proval.lri.fr/ ProVal]) ==
+
== [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 14: Line 14:
 
* [http://tertium.org/ Andrei Paskevich]
 
* [http://tertium.org/ Andrei Paskevich]
  
== [http://www.inria.fr Inria] ==
+
== [http://www.inria.fr Inria] ([http://gallium.inria.fr/ Gallium], [https://www.rocq.inria.fr/deducteam/ Deducteam], and [http://www.irisa.fr/asap/ Asap] Teams) ==
  
 
* [http://cristal.inria.fr/~doligez/ Damien Doligez] (local coordinator)
 
* [http://cristal.inria.fr/~doligez/ Damien Doligez] (local coordinator)

Revision as of 05:19, 16 October 2012

Contents

Cedric (CPR Team)

LRI (Toccata Team, formerly ProVal)

Inria (Gallium, Deducteam, and Asap Teams)

Mitsubishi Electric R&D Centre Europe

  • David Mentré (local coordinator)

ClearSy

  • Thierry Lecomte (local coordinator)

OCamlPro

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox