Partners

From BWare
(Difference between revisions)
Jump to: navigation, search
 
(4 intermediate revisions by one user not shown)
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] ([http://vals.lri.fr VALS] team, formerly [http://toccata.lri.fr Toccata], formerly [http://proval.lri.fr/ ProVal]) ==
  
 
* [http://www.lri.fr/~conchon/ Sylvain Conchon] (local coordinator)
 
* [http://www.lri.fr/~conchon/ Sylvain Conchon] (local coordinator)
 
* [http://www.lri.fr/~contejea/ Evelyne Contejean]
 
* [http://www.lri.fr/~contejea/ Evelyne Contejean]
 
* [http://www.lri.fr/~filliatr/ Jean-Christophe Filliâtre]
 
* [http://www.lri.fr/~filliatr/ Jean-Christophe Filliâtre]
* [http://www.lri.fr/~iguer/ Mohamed Iguernelala]
+
* [http://www.lri.fr/~iguer/ Mohamed Iguernelala] (moved to OCamlPro in Sep. 2013)
 
* [http://www.lri.fr/~marche/ Claude Marché]
 
* [http://www.lri.fr/~marche/ Claude Marché]
 
* [http://tertium.org/ Andrei Paskevich]
 
* [http://tertium.org/ Andrei Paskevich]
 +
* Léon Gondelman
  
== [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)
 
* [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://fabrice.lefessant.net/ Fabrice Le Fessant]
* [http://perso.isep.fr/ohermant Olivier Hermant]
+
* [http://www.cri.ensmp.fr/people/hermant/ Olivier Hermant] (CRI, MINES ParisTech)
  
 
== [http://www.mitsubishielectric-rce.eu/ Mitsubishi Electric R&D Centre Europe] ==
 
== [http://www.mitsubishielectric-rce.eu/ Mitsubishi Electric R&D Centre Europe] ==
Line 28: Line 29:
  
 
* Thierry Lecomte (local coordinator)
 
* Thierry Lecomte (local coordinator)
 +
* Etienne Prun
 +
* Lilian Burdy
 +
* Antoine Requet
 +
* Hector Ruiz-Barradas
  
 
== [http://www.ocamlpro.com/ OCamlPro] ==
 
== [http://www.ocamlpro.com/ OCamlPro] ==
  
 
* [http://gazagnaire.org/ Thomas Gazagnaire] (local coordinator)
 
* [http://gazagnaire.org/ Thomas Gazagnaire] (local coordinator)
 +
* [http://www.iguer.info/ Mohamed Iguernelala] (since Sep. 2013)

Latest revision as of 08:36, 23 February 2014

Contents

[edit] Cedric (CPR Team)

[edit] LRI (VALS team, formerly Toccata, formerly ProVal)

[edit] Inria (Gallium, Deducteam, and Asap Teams)

[edit] Mitsubishi Electric R&D Centre Europe

  • David Mentré (local coordinator)

[edit] ClearSy

  • Thierry Lecomte (local coordinator)
  • Etienne Prun
  • Lilian Burdy
  • Antoine Requet
  • Hector Ruiz-Barradas

[edit] OCamlPro

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox