Partners

From BWare
(Difference between revisions)
Jump to: navigation, search
(LRI (Toccata Team, formerly ProVal))
 
Line 37: Line 37:
  
 
* [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