Partners

From BWare
(Difference between revisions)
Jump to: navigation, search
(ClearSy)
(Inria (Gallium, Deducteam, and Asap Teams))
Line 19: Line 19:
 
* [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] ==

Revision as of 14:50, 7 June 2013

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)
  • Etienne Prun
  • Lilian Burdy
  • Antoine Requet
  • Hector Ruiz-Barradas

OCamlPro

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox